From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 3 Feb 2010 17:00:11 +0000 (+0000)
Subject: Debug code commented out.
X-Git-Tag: make_still_working~3067
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cf01ca6479346febcdf120e483ca9ce89d53e301;p=helm.git

Debug code commented out.
---

diff --git a/helm/software/components/ng_paramodulation/nCicProof.ml b/helm/software/components/ng_paramodulation/nCicProof.ml
index bc4b5bfcd..d1f38487c 100644
--- a/helm/software/components/ng_paramodulation/nCicProof.ml
+++ b/helm/software/components/ng_paramodulation/nCicProof.ml
@@ -36,7 +36,7 @@ let default_sig = function
 	NCic.Const ref
 
 let set_default_sig () =
-  prerr_endline "setting default sig";
+  (*prerr_endline "setting default sig";*)
   eqsig := default_sig
 
 let set_reference_of_oxuri reference_of_oxuri =