librarian: improved error detection, bug fix in time comparison functions: now the...

[helm.git] / helm / software / components / acic_procedural / proceduralHelpers.ml

diff --git a/helm/software/components/acic_procedural/proceduralHelpers.ml b/helm/software/components/acic_procedural/proceduralHelpers.ml
index 54b115aa254de92074659c52f97107a72a805bc1..91f7016cd83de6f5baaa916d72efb3fc7769fb94 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralHelpers.ml
+++ b/helm/software/components/acic_procedural/proceduralHelpers.ml
@@ -35,17 +35,6 @@ module D    = Deannotate
 module PER  = ProofEngineReduction
 module Ut   = CicUtil
 
-(* time stamping ************************************************************)
-
-let print_times =
-   let old = ref 0.0 in
-   fun msg -> 
-      let times = Unix.times () in
-      let stamp = times.Unix.tms_utime +. times.Unix.tms_utime in
-      let lap = stamp -. !old in
-      Printf.eprintf "TIME STAMP: %s: %f\n" msg lap; flush stdout;
-      old := stamp
-
 (* raw cic prettyprinter ****************************************************)
 
 let xiter out so ss sc map l =