From ba5a8de5013093f00c13fcabea9ba79781a496b4 Mon Sep 17 00:00:00 2001
From: barras
Date: Sun, 14 Mar 2004 14:11:12 +0000
Subject: correction bug de choix de noms courts avec Suresnes/BDD

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5476 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/constrextern.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/interp/constrextern.ml b/interp/constrextern.ml
index e0b39d7998..b0dd97fa4a 100644
--- a/interp/constrextern.ml
+++ b/interp/constrextern.ml
@@ -1620,8 +1620,8 @@ let rec extern inctx scopes vars r =
                  let (ids,bl) = extern_local_binder scopes vars bl in
                  let vars0 = List.fold_right (name_fold Idset.add) ids vars in
                  let vars1 = List.fold_right (name_fold Idset.add) ids vars' in
-		 (fi,nv.(i), bl, extern_type scopes vars1 ty,
-                  extern false scopes vars0 def)) idv
+		 (fi,nv.(i), bl, extern_type scopes vars0 ty,
+                  extern false scopes vars1 def)) idv
 	     in 
 	     CFix (loc,(loc,idv.(n)),Array.to_list listdecl)
 	 | RCoFix n -> 
@@ -1630,8 +1630,8 @@ let rec extern inctx scopes vars r =
                  let (ids,bl) = extern_local_binder scopes vars blv.(i) in
                  let vars0 = List.fold_right (name_fold Idset.add) ids vars in
                  let vars1 = List.fold_right (name_fold Idset.add) ids vars' in
-		 (fi,bl,extern_type scopes vars1 tyv.(i),
-                  sub_extern false scopes vars0 bv.(i))) idv
+		 (fi,bl,extern_type scopes vars0 tyv.(i),
+                  sub_extern false scopes vars1 bv.(i))) idv
 	     in
 	     CCoFix (loc,(loc,idv.(n)),Array.to_list listdecl))
 
-- 
cgit v1.2.3