From a716e3b141e08c43d10ab3418b6d2b8f6b85445c Mon Sep 17 00:00:00 2001
From: clrenard
Date: Tue, 1 Oct 2002 07:44:02 +0000
Subject: bug de noms long pour eqT.

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

diff --git a/tactics/setoid_replace.ml b/tactics/setoid_replace.ml
index 962d269112..a88906445f 100644
--- a/tactics/setoid_replace.ml
+++ b/tactics/setoid_replace.ml
@@ -82,7 +82,7 @@ let coq_fleche = lazy(constant ["Setoid"] "fleche")
 
 (* Coq constants *)
 
-let coqeq = lazy(global_constant ["Logic"] "eqT")
+let coqeq = lazy(global_constant ["Logic_Type"] "eqT")
 
 let coqconj = lazy(global_constant ["Logic"] "conj")
 let coqand = lazy(global_constant ["Logic"] "and")
-- 
cgit v1.2.3