removed prerr_endline

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 2c946199b6c7b4488aba9b9fc496cd6f0be70e38..148f550fdcee8f3946d949f32e5bca86e605c193 100644 (file)
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -2,7 +2,7 @@
 open Printf
 open MatitaTypes
 
-let debug = true ;;
+let debug = false ;;
 let debug_print = if debug then prerr_endline else ignore ;;
 
 (** create a ProofEngineTypes.mk_fresh_name_type function which uses given
@@ -573,7 +573,7 @@ let disambiguate_record status params ty fields =
         CicAst.Binder (`Forall, (Cic.Name name, Some ast), acc))
     (params @ ["",ty] @ fields) (CicAst.Sort `Type)
   in
-  prerr_endline (CicAstPp.pp_term packed);
+  debug_print (CicAstPp.pp_term packed);
   let status, packed = disambiguate_term status packed in
   let rec split t = function
     | [] -> [],t