From 07db1a05ffc69a41687466da03ac04cb33348303 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 7 Sep 2016 11:26:25 +0200
Subject: STM: if_verbose on "Checking task ..." (fix #4058)

---
 stm/stm.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index ac24bfc492..cf9fa54922 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -1437,8 +1437,8 @@ end = struct (* {{{ *)
 
   let check_task_aux extra name l i =
     let { Stateid.stop; document; loc; name = r_name }, drop = List.nth l i in
-    msg_info(
-      str(Printf.sprintf "Checking task %d (%s%s) of %s" i r_name extra name));
+    Flags.if_verbose msg_info
+      (str(Printf.sprintf "Checking task %d (%s%s) of %s" i r_name extra name));
     VCS.restore document;
     let start =
       let rec aux cur =
-- 
cgit v1.2.3