From 20e13100d0042a97c39ee680ea8a604c034f3fb6 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 28 Nov 2002 02:51:32 +0000
Subject: Re-Oups

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3323 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/mlutil.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/extraction/mlutil.ml b/contrib/extraction/mlutil.ml
index 3c151fac9b..2a80227f1f 100644
--- a/contrib/extraction/mlutil.ml
+++ b/contrib/extraction/mlutil.ml
@@ -496,8 +496,8 @@ let gen_subst v d t =
     | MLrel i as a -> 
 	let i'= i-n in 
 	if i' < 1 then a 
-	else if i' < Array.length v then 
-	  ast_lift n v.(i') 
+	else if i' <= Array.length v then 
+	  ast_lift n v.(i'-1) 
 	else MLrel (i+d) 
     | a -> ast_map_lift subst n a
   in subst 0 t
-- 
cgit v1.2.3