X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fparamod.ml;h=77d1ecc2f8c1a68c3f7033f39410fe512ac05011;hb=69f03015a62c9ca2ae7d8a446540e31cc9a6e84c;hp=45a4e0e0954725e44b0e200d19e2b3e3e6e9f58e;hpb=63741bdebe93f58cef3ea791ca634ef17237bd7f;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml
index 45a4e0e09..77d1ecc2f 100644
--- a/helm/software/components/ng_paramodulation/paramod.ml
+++ b/helm/software/components/ng_paramodulation/paramod.ml
@@ -398,9 +398,6 @@ module Paramod (B : Orderings.Blob) = struct
 		(Printf.sprintf "Id : %d, selected at %d, weight %d by %s"
 		   id it (Order.compute_unit_clause_weight cl) 
 		   (Pp.pp_proof_step proof))) l;*)
-        prerr_endline 
-          (Printf.sprintf "Found proof, %fs" 
-            (Unix.gettimeofday() -. initial_timestamp));
         (* 
         prerr_endline "Proof:"; 
         List.iter (fun x ->