From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 13 Jun 2005 12:29:37 +0000 (+0000)
Subject: removed prerr_endline
X-Git-Tag: PRE_STORAGE~55
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c09a046ca883b3692454937c801b1a34653d47ad;p=helm.git

removed prerr_endline
---

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 2c946199b..148f550fd 100644
--- 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