# 
# 
# patch "cmd_diff_log.cc"
#  from [37e850a85a39df6bfbf067f19089a6647996d70b]
#    to [8daa52e0f47b4462b4f393e24d04bd98dd98e4b9]
# 
============================================================
--- cmd_diff_log.cc	37e850a85a39df6bfbf067f19089a6647996d70b
+++ cmd_diff_log.cc	8daa52e0f47b4462b4f393e24d04bd98dd98e4b9
@@ -909,7 +909,7 @@ CMD(log, N_("informative"), N_("[FILE] .
           else
             graph.print(rid, interesting, out_system);
         }
-      else if (use_markings)
+      else if (use_markings && !app.opts.no_graph)
         graph.print(rid, interesting, (F("(marked node: %s)") % rid).str());
 
       frontier.pop(); // beware: rid is invalid from now on