diff options
| author | Enrico Tassi | 2018-12-17 10:34:07 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-12-17 10:34:07 +0100 |
| commit | 6095ef4d0aac719776dcc949591d1413cf2a5354 (patch) | |
| tree | 43997187c1bdc43d2c0ff19d5c16f5277f41d559 | |
| parent | 40ca052fc89df366bf8de884dcc7a11d1b613e9f (diff) | |
| parent | 46e1a232accabf83fbd87befbc4aed77c7c28f79 (diff) | |
Merge PR #9219: [STM] Fix logic of debug DAG printer
| -rw-r--r-- | stm/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/stm.ml b/stm/stm.ml index ffd13fcb73..c9b1695407 100644 --- a/stm/stm.ml +++ b/stm/stm.ml @@ -757,7 +757,7 @@ end = struct (* {{{ *) end let print ?(now=false) () = - if not !Flags.debug && not now then () else NB.command ~now (print_dag !vcs) + if !Flags.debug then NB.command ~now (print_dag !vcs) let backup () = !vcs let restore v = vcs := v |