diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-09-07 11:26:25 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-09-07 11:26:25 +0200 |
| commit | 07db1a05ffc69a41687466da03ac04cb33348303 (patch) | |
| tree | 77c3dc4963a635bddc7a6ad4d59c915fbd298e89 | |
| parent | 1f358573df98358237b9af2a3ff48c99d8be0686 (diff) | |
STM: if_verbose on "Checking task ..." (fix #4058)
| -rw-r--r-- | stm/stm.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stm/stm.ml b/stm/stm.ml index ac24bfc49..cf9fa5492 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 = |