From 3de3dbdc1eb3c0d299e6ef977aeb30a323c9de95 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 24 Jan 2006 23:20:39 +0000
Subject: Suppression de la dépendance en Map.fold de ocaml dont la sémantique
 a changé entre les version 3.08.4 et 3.09.0 (influe notamment sur l'ordre
 d'application des Hints de auto)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7925 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/first-order/sequent.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/first-order')

diff --git a/contrib/first-order/sequent.ml b/contrib/first-order/sequent.ml
index c1175a4d9c..fd5972fb74 100644
--- a/contrib/first-order/sequent.ml
+++ b/contrib/first-order/sequent.ml
@@ -278,7 +278,7 @@ let create_with_auto_hints l depth gl=
   let h dbname=
     let hdb=
       try
-	Util.Stringmap.find dbname !searchtable 
+	searchtable_map dbname
       with Not_found-> 
 	error ("Firstorder: "^dbname^" : No such Hint database") in
       Hint_db.iter g hdb in
-- 
cgit v1.2.3