From c09a046ca883b3692454937c801b1a34653d47ad Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 13 Jun 2005 12:29:37 +0000
Subject: [PATCH] removed prerr_endline

---
 helm/matita/matitaEngine.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.2