Also use HMaps in KNmap.

2 files changed, 3 insertions, 3 deletions

diff --git a/kernel/names.ml b/kernel/names.ml
index 03826cda7..50402eb83 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -409,9 +409,9 @@ module KerName = struct
 
 end
 
-module KNmap = CMap.Make(KerName)
+module KNmap = HMap.Make(KerName)
 module KNpred = Predicate.Make(KerName)
-module KNset = Set.Make(KerName)
+module KNset = KNmap.Set
 
 (** {6 Kernel pairs } *)
 
diff --git a/kernel/names.mli b/kernel/names.mli
index c85cfc433..a9da13399 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -245,7 +245,7 @@ sig
   val equal : t -> t -> bool
 end
 
-module KNset  : Set.S with type elt = KerName.t
+module KNset  : CSig.SetS with type elt = KerName.t
 module KNpred : Predicate.S with type elt = KerName.t
 module KNmap  : Map.ExtS with type key = KerName.t and module Set := KNset