From cb728132e1c5cb0a171ee09e9b3ced16da08f796 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Sun, 21 Oct 2012 12:12:58 +0200
Subject: [PATCH] Remove non-reentrant timing function.

---
 src/utils.ml | 25 -------------------------
 1 file changed, 25 deletions(-)

diff --git a/src/utils.ml b/src/utils.ml
index 23f3e91..3832998 100644
--- a/src/utils.ml
+++ b/src/utils.ml
@@ -54,31 +54,6 @@ struct
 
 end
 
-let time f ?(count=1) ?(msg="") x =
-  if not !Config.verbose then f x
-  else
-  let rec loop i =
-    Gc.compact();
-    let oldmem = System.status () in
-    let t1 = Unix.gettimeofday () in
-    let r = f x in
-    let t2 = Unix.gettimeofday () in
-    let newmem = System.status () in
-    let t = (1000. *. (t2 -. t1)) in
-    Logger.verbose Format.err_formatter "@[%s: [" msg;
-    if (count != 1) then Logger.verbose Format.err_formatter "run %i/%i,  "  i count;
-    begin
-      Format.pp_open_vbox Format.err_formatter (2 + String.length msg);
-      Logger.verbose
-        Format.err_formatter
-        "@\n| Time: %fms@\n| Memory before: %a@\n| Memory after:  %a@\n]@]@]@\n" t System.pr_mem_status oldmem System.pr_mem_status newmem;
-    end;
-    if i >= count then r
-    else loop (i+1)
-  in
-  loop 1
-;;
-
 module Timing =
   struct
     let _timings = Hashtbl.create 43
-- 
2.17.1