diff options
| author | barras | 2006-09-28 17:51:39 +0000 |
|---|---|---|
| committer | barras | 2006-09-28 17:51:39 +0000 |
| commit | 1040f4258593fa6de309acb2c93b76c41e914188 (patch) | |
| tree | aad91dcfecb0b764769de360ee1cb466d201196f /contrib/setoid_ring/newring.ml4 | |
| parent | 5865dad7bae73b13096a62e3657b02e13771524a (diff) | |
separation de RealField
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9187 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/setoid_ring/newring.ml4')
| -rw-r--r-- | contrib/setoid_ring/newring.ml4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/setoid_ring/newring.ml4 b/contrib/setoid_ring/newring.ml4 index 77653c3ac5..7c41ed63eb 100644 --- a/contrib/setoid_ring/newring.ml4 +++ b/contrib/setoid_ring/newring.ml4 @@ -714,11 +714,11 @@ TACTIC EXTEND setoid_ring END (***********************************************************************) -let fld_cst s = mk_cst [contrib_name;"Field"] s ;; +let fld_cst s = mk_cst [contrib_name;"Field_theory"] s ;; let field_modules = List.map (fun f -> ["Coq";contrib_name;f]) - ["Field";"Field_tac"] + ["Field_theory";"Field_tac"] let new_field_path = make_dirpath (List.map id_of_string ["Field_tac";contrib_name;"Coq"]) |