From: denes <??>
Date: Mon, 27 Jul 2009 17:20:16 +0000 (+0000)
Subject: Removed meaningless time information
X-Git-Tag: make_still_working~3606
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=08257fe2901ec7ce3b584f73e52a383216ec1fb8;p=helm.git

Removed meaningless time information
---

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 ->