diff options
| author | Pierre-Marie Pédrot | 2014-03-07 20:50:30 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-07 21:00:02 +0100 |
| commit | dd2a0175e3e35e5488c6f3b8a68c68845cbfcfd3 (patch) | |
| tree | 2b61640b942b39650dec17ca077f28b5363aa843 /toplevel | |
| parent | 89e59b9a578fa761ebc12e3a8e01c3b838301266 (diff) | |
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).
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |