From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 9 Dec 2009 15:57:09 +0000 (+0000)
Subject: Debug set to ()
X-Git-Tag: make_still_working~3175
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c477be259423867c53d0393006d149c2893d47c3;p=helm.git

Debug set to ()
---

diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml
index b15503de4..b06d8a654 100644
--- a/helm/software/components/ng_paramodulation/paramod.ml
+++ b/helm/software/components/ng_paramodulation/paramod.ml
@@ -11,8 +11,8 @@
 
 (* $Id: orderings.ml 9869 2009-06-11 22:52:38Z denes $ *)
 
-let debug s = prerr_endline (Lazy.force s) ;; 
-(* let debug _ = ();; *)
+(* let debug s = prerr_endline (Lazy.force s) ;; *) 
+let debug _ = ();; 
 
 let monster = 100;;