From 80dd95f745068cd9a5f3b39746c4aed60a37c6ac Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 6 Sep 2007 07:41:09 +0000
Subject: Uniformisation politique de nommage evd/isevars (evd si evar_defs,
 evdref si evar_defs ref)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10115 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/logic.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'proofs')

diff --git a/proofs/logic.ml b/proofs/logic.ml
index d664013c72..4c6e5bacfa 100644
--- a/proofs/logic.ml
+++ b/proofs/logic.ml
@@ -70,9 +70,9 @@ let with_check = Options.with_option check
    (instead of iterating on the list of identifier to be removed, which
    forces the user to give them in order). *)
 let clear_hyps sigma ids gl =
-  let evd = ref (Evd.create_goal_evar_defs sigma) in
-  let ngl = Evarutil.clear_hyps_in_evi evd gl ids in
-    (ngl, evars_of !evd)
+  let evdref = ref (Evd.create_goal_evar_defs sigma) in
+  let ngl = Evarutil.clear_hyps_in_evi evdref gl ids in
+    (ngl, evars_of !evdref)
 
 (* The ClearBody tactic *)
 
-- 
cgit v1.2.3