From 46e1a232accabf83fbd87befbc4aed77c7c28f79 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 20 Nov 2018 16:30:22 +0100
Subject: [STM] Fix logic of debug DAG printer

---
 stm/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3