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
---
 contrib/interface/centaur.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/interface')

diff --git a/contrib/interface/centaur.ml b/contrib/interface/centaur.ml
index f48f04e7c3..6e1555d591 100644
--- a/contrib/interface/centaur.ml
+++ b/contrib/interface/centaur.ml
@@ -289,7 +289,7 @@ let ct_print_eval ast red_fun env evd judg =
 let {uj_val=value; uj_type=typ} = judg in
 let nvalue = red_fun value
 (* // Attention , ici il faut peut être utiliser des environnemenst locaux *)
-and ntyp = nf_betaiota env evd typ in
+and ntyp = nf_betaiota typ in
 (ctf_SearchResults !global_request_id,
  Some (P_pl
   (CT_premises_list
-- 
cgit v1.2.3