1 files changed, 9 insertions, 1 deletions
diff --git a/kernel/names.ml b/kernel/names.ml
index d53a7aa300..6e39b35bb3 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -48,7 +48,15 @@ module IdOrdered =
   end
 
 module Idset = Set.Make(IdOrdered)
-module Idmap = Map.Make(IdOrdered)
+module Idmap =
+struct
+  include Map.Make(IdOrdered)
+  exception Finded
+  let exists f m =
+    try iter (fun a b -> if f a b then raise Finded) m ; false
+    with |Finded -> true
+  let singleton k v = add k v empty
+end
 module Idpred = Predicate.Make(IdOrdered)
 
 (* Names *)