From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 15 Sep 2006 20:53:55 +0000 (+0000)
Subject: Debugging code deactivated.
X-Git-Tag: make_still_working~6886
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3cab09fd975e4eb4f60de55edfbf2576032f5527;p=helm.git

Debugging code deactivated.
---

diff --git a/helm/software/components/cic_unification/cicRefine.ml b/helm/software/components/cic_unification/cicRefine.ml
index bd8e992d0..0ef14696c 100644
--- a/helm/software/components/cic_unification/cicRefine.ml
+++ b/helm/software/components/cic_unification/cicRefine.ml
@@ -34,8 +34,8 @@ exception AssertFailure of string Lazy.t;;
 let insert_coercions = ref true
 let pack_coercions = ref true
 
-(* let debug_print = fun _ -> () *)
- let debug_print x = prerr_endline (Lazy.force x);; 
+let debug_print = fun _ -> ();;
+(*let debug_print x = prerr_endline (Lazy.force x);;*)
 
 let profiler_eat_prods2 = HExtlib.profile "CicRefine.fo_unif_eat_prods2"