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.mli | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/names.mli')

diff --git a/kernel/names.mli b/kernel/names.mli
index 4b71766bb0..c85cfc433f 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -319,8 +319,8 @@ end
 (** The [*_env] modules consider an order on user part of names
    the others consider an order on canonical part of names*)
 module Cpred : Predicate.S with type elt = Constant.t
-module Cset : Set.S with type elt = Constant.t
-module Cset_env  : Set.S with type elt = Constant.t
+module Cset : CSig.SetS with type elt = Constant.t
+module Cset_env  : CSig.SetS with type elt = Constant.t
 module Cmap : Map.ExtS with type key = Constant.t and module Set := Cset
 module Cmap_env : Map.ExtS with type key = Constant.t  and module Set := Cset_env
 
@@ -386,7 +386,7 @@ sig
 
 end
 
-module Mindset : Set.S with type elt = MutInd.t
+module Mindset : CSig.SetS with type elt = MutInd.t
 module Mindmap : Map.ExtS with type key = MutInd.t and module Set := Mindset
 module Mindmap_env : Map.S with type key = MutInd.t
 
-- 
cgit v1.2.3