From dc2e676c9cdedea43805c21a4b3203832a985f95 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 23 May 2001 15:13:07 +0000
Subject: amelioration des messages d'erreurs vis a vis des evars ajout
 automatique des chemins vers les sources au moment du Drop

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

(limited to 'kernel/indtypes.ml')

diff --git a/kernel/indtypes.ml b/kernel/indtypes.ml
index e67aff0021..344ca87fbe 100644
--- a/kernel/indtypes.ml
+++ b/kernel/indtypes.ml
@@ -165,7 +165,7 @@ let abstract_mind_lc env ntyps npars lc =
       list_tabulate
 	(function i -> lambda_implicit_lift npars (mkRel (i+1))) ntyps 
     in 
-    Array.map (compose (nf_beta env Evd.empty) (substl make_abs)) lc
+    Array.map (compose nf_beta (substl make_abs)) lc
 
 let listrec_mconstr env ntypes hyps nparams i indlc =
   let nhyps = List.length hyps in
-- 
cgit v1.2.3