From a2bf0d83a7592d0d303956fdfd862c1725f00dd5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 15 Sep 2006 20:53:55 +0000 Subject: [PATCH] Debugging code deactivated. --- components/cic_unification/cicRefine.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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" -- 2.39.2