]> matita.cs.unibo.it Git - helm.git/commitdiff
Removed meaningless time information
authordenes <??>
Mon, 27 Jul 2009 17:20:16 +0000 (17:20 +0000)
committerdenes <??>
Mon, 27 Jul 2009 17:20:16 +0000 (17:20 +0000)
helm/software/components/ng_paramodulation/paramod.ml

index 45a4e0e0954725e44b0e200d19e2b3e3e6e9f58e..77d1ecc2f8c1a68c3f7033f39410fe512ac05011 100644 (file)
@@ -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 ->