From c477be259423867c53d0393006d149c2893d47c3 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Wed, 9 Dec 2009 15:57:09 +0000
Subject: [PATCH] Debug set to ()

---
 helm/software/components/ng_paramodulation/paramod.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;;
     
-- 
2.39.2