From 08257fe2901ec7ce3b584f73e52a383216ec1fb8 Mon Sep 17 00:00:00 2001
From: denes <??>
Date: Mon, 27 Jul 2009 17:20:16 +0000
Subject: [PATCH] Removed meaningless time information

---
 helm/software/components/ng_paramodulation/paramod.ml | 3 ---
 1 file changed, 3 deletions(-)

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