Debug code commented out.

diff --git a/helm/software/components/ng_paramodulation/nCicProof.ml b/helm/software/components/ng_paramodulation/nCicProof.ml
index bc4b5bfcdd9f2b7c53691f1bdb11847ad5cef036..d1f38487c882f4e6f488d498cdce953ed8c52271 100644 (file)
--- 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 =