cofix_warning dans les parametres d'extraction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1683 85f007b7-540e-0410-9357-904b9bb8a0f7

3 files changed, 6 insertions, 0 deletions

diff --git a/contrib/extraction/extract_env.ml b/contrib/extraction/extract_env.ml
index 2095541b0b..e25fa7165b 100644
--- a/contrib/extraction/extract_env.ml
+++ b/contrib/extraction/extract_env.ml
@@ -104,6 +104,7 @@ module ToplevelParams = struct
   let rename_global r = Names.id_of_string (Global.string_of_global r)
   let pp_type_global = Printer.pr_global
   let pp_global = Printer.pr_global
+  let cofix_warning = false
 end
 
 module Pp = Ocaml.Make(ToplevelParams)
diff --git a/contrib/extraction/miniml.mli b/contrib/extraction/miniml.mli
index 88f757f387..9c9ad8fe85 100644
--- a/contrib/extraction/miniml.mli
+++ b/contrib/extraction/miniml.mli
@@ -59,6 +59,7 @@ type ml_decl =
     functions to print types, terms and declarations. *)
 
 module type Mlpp_param = sig
+  val cofix_warning : bool
   val rename_global : global_reference -> identifier
   val pp_type_global : global_reference -> std_ppcmds
   val pp_global : global_reference -> std_ppcmds
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml
index e53f5371db..aed1285c25 100644
--- a/contrib/extraction/ocaml.ml
+++ b/contrib/extraction/ocaml.ml
@@ -381,6 +381,8 @@ let rename_global r =
 
 let pp_global r = pr_id (rename_global r)
 
+let cofix_warning = true
+
 end
 
 module MonoPp = Make(MonoParams)
@@ -430,6 +432,8 @@ module ModularParams = struct
 
   let pp_type_global r = pr_id (rename_type_global r)
   let pp_global r = pr_id (rename_global r)
+
+  let cofix_warning = true
 end
 
 module ModularPp = Make(ModularParams)