From d2420e3a0716243918dd04cb04a776837366299d Mon Sep 17 00:00:00 2001
From: msozeau
Date: Tue, 5 Sep 2006 12:16:16 +0000
Subject: Workaround Map.fold semantic change in ocaml-3.08.4 and higher.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9122 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/evd.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pretyping/evd.ml b/pretyping/evd.ml
index 7139956411..68eb2d9edc 100644
--- a/pretyping/evd.ml
+++ b/pretyping/evd.ml
@@ -46,7 +46,11 @@ type evar_map1 = evar_info Evarmap.t
 
 let empty = Evarmap.empty
 
-let to_list evc = Evarmap.fold (fun ev x acc -> (ev,x)::acc) evc []
+let to_list evc = (* Workaround for change in Map.fold behavior *)
+  let l = ref [] in 
+    Evarmap.iter (fun ev x -> l:=(ev,x)::!l) evc;
+    !l
+
 let dom evc = Evarmap.fold (fun ev _ acc -> ev::acc) evc []
 let find evc k = Evarmap.find k evc
 let remove evc k = Evarmap.remove k evc
-- 
cgit v1.2.3