From 40c29ed04ee15c34ef34f7ba638a0773dd113f92 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Sat, 3 Aug 2013 20:45:46 +0000
Subject: Small fixes due to the arrival of OCaml 3.12.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16656 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/names.mli | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'kernel')

diff --git a/kernel/names.mli b/kernel/names.mli
index c2409649c0..8022cb199e 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -35,12 +35,7 @@ sig
   module Set : Set.S with type elt = t
   (** Finite sets of identifiers. *)
 
-  module Map : sig
-    include Map.S with type key = t
-    (** FIXME: this is included in OCaml 3.12 *)
-    val exists : (key -> 'a -> bool) -> 'a t -> bool
-    val singleton : key -> 'a -> 'a t
-  end
+  module Map : Map.S with type key = t
   (** Finite maps of identifiers. *)
 
   module Pred : Predicate.S with type elt = t
-- 
cgit v1.2.3