diff options
| author | clrenard | 2001-09-19 12:03:50 +0000 |
|---|---|---|
| committer | clrenard | 2001-09-19 12:03:50 +0000 |
| commit | d35d4a8c279cc39d54037ceb97510b56d12e6a1a (patch) | |
| tree | 17924b1167bc2ac4e09ad457f5ca50e1373306c5 /tactics/setoid_replace.ml | |
| parent | 70d71580aed122f4966de27fcacdd8b3997d7a9c (diff) | |
Deplacement des setoides.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1992 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/setoid_replace.ml')
| -rw-r--r-- | tactics/setoid_replace.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |