Debugging disabled

[helm.git] / matita / components / ng_paramodulation / paramod.ml

diff --git a/matita/components/ng_paramodulation/paramod.ml b/matita/components/ng_paramodulation/paramod.ml
index 7a63dd97a292150b5e6ee3e4120ba9981cc78827..86a964c1487f36a7f72deb0c8f2608f621ec2aac 100644 (file)
--- 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;;