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).

---
 toplevel/vernacentries.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 29297058eb..3951190832 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -264,7 +264,7 @@ let print_namespace ns =
   | _ -> false in
   let constants = (Environ.pre_env (Global.env ())).Pre_env.env_globals.Pre_env.env_constants in
   let constants_in_namespace =
-    Pre_env.Constants.fold (fun c (body,_) acc ->
+    Cmap_env.fold (fun c (body,_) acc ->
       let kn = user_con c in
       if matches (modpath kn) then
         acc++fnl()++hov 2 (print_constant kn body)
-- 
cgit v1.2.3