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: 0.4.95@7852~1026
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a2bf0d83a7592d0d303956fdfd862c1725f00dd5;p=helm.git

Debugging code deactivated.
---

diff --git a/components/cic_unification/cicRefine.ml b/components/cic_unification/cicRefine.ml
index bd8e992d0..0ef14696c 100644
--- a/components/cic_unification/cicRefine.ml
+++ b/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"