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

(limited to 'contrib/correctness')

diff --git a/contrib/correctness/ptactic.ml b/contrib/correctness/ptactic.ml
index a4b62c53c4..66633277a9 100644
--- a/contrib/correctness/ptactic.ml
+++ b/contrib/correctness/ptactic.ml
@@ -220,7 +220,7 @@ let correctness s p opttac =
   let env = Global.env () in
   let sign = Global.named_context () in
   let sigma = Evd.empty in
-  let cty = Reduction.nf_betaiota env sigma cty in
+  let cty = Reduction.nf_betaiota cty in
   let id = id_of_string s in 
   start_proof id Declare.NeverDischarge sign cty;
   Penv.new_edited id (v,p);
-- 
cgit v1.2.3