From: Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Date: Tue, 8 Aug 2017 16:20:41 +0000 (+0200)
Subject: dev-ml/facile: remove unused patch
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=9e4ee21441d8265d5702bda2d1f02c4dec0fb115;p=gentoo.git

dev-ml/facile: remove unused patch

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

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 3c7556312364..000000000000
--- 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