diff options
| author | Maxime Dénès | 2018-11-20 16:30:22 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-12-13 09:47:47 +0100 |
| commit | 46e1a232accabf83fbd87befbc4aed77c7c28f79 (patch) | |
| tree | 7b12d81786de962641e94c4a54df64f7b671ae0d | |
| parent | d9a6d4814f0669b586ca5c13d6d6540cd194b45f (diff) | |
[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 e835bdcb1e..5eebaab942 100644 --- a/stm/stm.ml +++ b/stm/stm.ml @@ -750,7 +750,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 |