dev-ml/facile: remove unused patch
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Tue, 8 Aug 2017 16:20:41 +0000 (18:20 +0200)
committerAndreas Sturmlechner <asturm@gentoo.org>
Tue, 8 Aug 2017 17:15:28 +0000 (19:15 +0200)
Closes: https://github.com/gentoo/gentoo/pull/5358

dev-ml/facile/files/facile-1.1-ocaml4.patch [deleted file]

diff --git a/dev-ml/facile/files/facile-1.1-ocaml4.patch b/dev-ml/facile/files/facile-1.1-ocaml4.patch
deleted file mode 100644 (file)
index 3c75563..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-Index: facile-1.1/src/facile.mli
-===================================================================
---- facile-1.1.orig/src/facile.mli
-+++ facile-1.1/src/facile.mli
-@@ -127,7 +127,7 @@ module Data :
-       module Hashtbl :
-         sig
-           type ('a, 'b) t
--          val create : int -> ('a, 'b) t
-+          val create : ?random:bool -> int -> ('a, 'b) t
-           val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
-           val add : ('a, 'b) t -> 'a -> 'b -> unit
-           val find : ('a, 'b) t -> 'a -> 'b
-Index: facile-1.1/src/fcl_data.cmi
-===================================================================
-Binary files facile-1.1.orig/src/fcl_data.cmi and facile-1.1/src/fcl_data.cmi differ
-Index: facile-1.1/src/fcl_data.mli
-===================================================================
---- facile-1.1.orig/src/fcl_data.mli
-+++ facile-1.1/src/fcl_data.mli
-@@ -23,7 +23,7 @@ end
- module Hashtbl : sig
-   type ('a, 'b) t
--  val create : int -> ('a, 'b) t
-+  val create : ?random:bool -> int -> ('a, 'b) t
-   val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
-   val add : ('a, 'b) t -> 'a -> 'b -> unit
-   val find : ('a, 'b) t -> 'a -> 'b