From 00df486efd76070b6c3673071050565e0ed4466e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 5 Mar 2014 21:39:39 +0100
Subject: Using HMaps in Safe_env.environments, hopefully improving
 performances.

---
 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 3951190832..29297058eb 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 =
-    Cmap_env.fold (fun c (body,_) acc ->
+    Pre_env.Constants.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