X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_paramodulation%2Fparamod.ml;h=86a964c1487f36a7f72deb0c8f2608f621ec2aac;hb=dba584374a26ef04c53306c89e5567e637e6553e;hp=7a63dd97a292150b5e6ee3e4120ba9981cc78827;hpb=c6aeb873c1c35f6ddf22dfec9ef19977ab53a0f8;p=helm.git

diff --git a/matita/components/ng_paramodulation/paramod.ml b/matita/components/ng_paramodulation/paramod.ml
index 7a63dd97a..86a964c14 100644
--- a/matita/components/ng_paramodulation/paramod.ml
+++ b/matita/components/ng_paramodulation/paramod.ml
@@ -13,7 +13,7 @@
 
 let print s = prerr_endline (Lazy.force s) ;; 
 let noprint s = ();;  
-let debug = print;;
+let debug = noprint;;
 
 let monster = 100;;