Removed meaningless time information

diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml
index 45a4e0e0954725e44b0e200d19e2b3e3e6e9f58e..77d1ecc2f8c1a68c3f7033f39410fe512ac05011 100644 (file)
--- 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 ->