From d35d4a8c279cc39d54037ceb97510b56d12e6a1a Mon Sep 17 00:00:00 2001
From: clrenard
Date: Wed, 19 Sep 2001 12:03:50 +0000
Subject: Deplacement des setoides.

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

(limited to 'tactics')

diff --git a/tactics/setoid_replace.ml b/tactics/setoid_replace.ml
index f7eb0bbd42..cc18b64c1f 100644
--- a/tactics/setoid_replace.ml
+++ b/tactics/setoid_replace.ml
@@ -39,7 +39,7 @@ type morphism =
 let constr_of c = Astterm.interp_constr Evd.empty (Global.env()) c
 
 let constant dir s =
-  let dir = make_dirpath (List.map id_of_string ("Coq"::"Init"::dir)) in
+  let dir = make_dirpath (List.map id_of_string ("Coq"::"Setoids"::dir)) in
   let id = id_of_string s in
     try 
       Declare.global_reference_in_absolute_module dir id
-- 
cgit v1.2.3