From 60f0eb9495af3b713c83ece46effd76dbaa40ce6 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Thu, 18 Mar 2010 11:28:46 +0000 Subject: [PATCH] Debugging disabled. --- helm/software/components/ng_paramodulation/paramod.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml index 4b9d29e1c..de32ab5dd 100644 --- a/helm/software/components/ng_paramodulation/paramod.ml +++ b/helm/software/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;; -- 2.39.2