]> matita.cs.unibo.it Git - helm.git/commitdiff
removed prerr_endline
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Jun 2005 12:29:37 +0000 (12:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Jun 2005 12:29:37 +0000 (12:29 +0000)
helm/matita/matitaEngine.ml

index 2c946199b6c7b4488aba9b9fc496cd6f0be70e38..148f550fdcee8f3946d949f32e5bca86e605c193 100644 (file)
@@ -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