From dd2a0175e3e35e5488c6f3b8a68c68845cbfcfd3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 7 Mar 2014 20:50:30 +0100
Subject: Using Hashmaps by default in constant and inductive maps. This
 changes fold and iter order, but it seems nobody was relying on it
 (contrarily to the string case).

---
 kernel/names.ml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index 21d22baffb..03826cda7c 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -524,19 +524,19 @@ end
 
 module Constant = KerPair
 
-module Cmap = CMap.Make(Constant.CanOrd)
-module Cmap_env = CMap.Make(Constant.UserOrd)
+module Cmap = HMap.Make(Constant.CanOrd)
+module Cmap_env = HMap.Make(Constant.UserOrd)
 module Cpred = Predicate.Make(Constant.CanOrd)
-module Cset = Set.Make(Constant.CanOrd)
-module Cset_env = Set.Make(Constant.UserOrd)
+module Cset = Cmap.Set
+module Cset_env = Cmap_env.Set
 
 (** {6 Names of mutual inductive types } *)
 
 module MutInd = KerPair
 
-module Mindmap = CMap.Make(MutInd.CanOrd)
-module Mindset = Set.Make(MutInd.CanOrd)
-module Mindmap_env = Map.Make(MutInd.UserOrd)
+module Mindmap = HMap.Make(MutInd.CanOrd)
+module Mindset = Mindmap.Set
+module Mindmap_env = HMap.Make(MutInd.UserOrd)
 
 (** Beware: first inductive has index 0 *)
 (** Beware: first constructor has index 1 *)
-- 
cgit v1.2.3