From bbae07b156c9134bbfffcad4c6912536c3eb416a Mon Sep 17 00:00:00 2001
From: barras
Date: Fri, 1 Mar 2002 11:21:33 +0000
Subject: labels appliques dans un ordre incorrect

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

diff --git a/tactics/tactics.ml b/tactics/tactics.ml
index d6ab275728..2fb555d884 100644
--- a/tactics/tactics.ml
+++ b/tactics/tactics.ml
@@ -753,7 +753,7 @@ let letin_abstract id c (occ_ccl,occ_hyps) gl =
       (d,List.exists (fun((id,_,_),dep) -> dep && occur_var_in_decl env id d) ctxt)
     in d'::ctxt
   in 
-  let ctxt' = fold_named_context compute_dependency ~init:[] env in
+  let ctxt' = fold_named_context compute_dependency env ~init:[] in
   let compute_marks ((depdecls,marks as accu),lhyp) ((hyp,_,_) as d,b) =
     if b then ((d::depdecls,(hyp,lhyp)::marks), lhyp)
     else (accu, Some hyp) in
-- 
cgit v1.2.3