[gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/

[Andreas Sturmlechner]

commit:     9e4ee21441d8265d5702bda2d1f02c4dec0fb115
Author:     Michael Mair-Keimberger (asterix) <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Tue Aug  8 16:20:41 2017 +0000
Commit:     Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Tue Aug  8 17:15:28 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e4ee214

dev-ml/facile: remove unused patch

Closes: https://github.com/gentoo/gentoo/pull/5358

 dev-ml/facile/files/facile-1.1-ocaml4.patch | 29 -----------------------------
 1 file changed, 29 deletions(-)

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
index 3c755631236..00000000000
--- a/dev-ml/facile/files/facile-1.1-ocaml4.patch
+++ /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