From cf01ca6479346febcdf120e483ca9ce89d53e301 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 3 Feb 2010 17:00:11 +0000 Subject: [PATCH] Debug code commented out. --- helm/software/components/ng_paramodulation/nCicProof.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 = -- 2.39.2