From 99cee0e8d64567c6a89ab665c6e4dfd934674142 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 14 Jul 2014 00:01:28 +0200
Subject: Adding a delay to tclTIME.

---
 proofs/proofview.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/proofs/proofview.ml b/proofs/proofview.ml
index 6074a13d4c..8df23a8bd9 100644
--- a/proofs/proofview.ml
+++ b/proofs/proofview.ml
@@ -606,6 +606,7 @@ let tclTIME s t =
     msg_info(str "Tactic call" ++ pr_opt str s ++ str " ran for " ++
              System.fmt_time_difference t1 t2 ++ str " " ++ surround msg) in
   let rec aux n t =
+    tclUNIT () >>= fun () ->
     let tstart = System.get_time() in
     Proof.split t >>= function
     | Nil e ->
-- 
cgit v1.2.3