From 92aed12e291b1efee31f331dff98386527bb69f0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 7 Jan 2000 22:22:20 +0000
Subject: Correction pbs liés aux evar

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

(limited to 'pretyping/pretyping.ml')

diff --git a/pretyping/pretyping.ml b/pretyping/pretyping.ml
index 59716c5d6c..1854e7eebd 100644
--- a/pretyping/pretyping.ml
+++ b/pretyping/pretyping.ml
@@ -393,7 +393,7 @@ match cstr with   (* O
 	    else
 	      try
 		let expti =
-		  Indrec.branch_scheme env !isevars isrec i (mind,params) in
+		  Cases.branch_scheme env isevars isrec i (mind,params) in
 		let fj = pretype (mk_tycon expti) env isevars lf.(i-1) in
 		let efjt = nf_ise1 !isevars fj.uj_type in 
 		let pred = 
-- 
cgit v1.2.3