From a7e65379fa7946fe7c628b17dbb4d272523d331a Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Mon, 2 Mar 2020 17:56:42 -0500
Subject: [PATCH] Ignore $dumpflush, think causes travis thread error.

---
 src/V3EmitC.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/V3EmitC.cpp b/src/V3EmitC.cpp
index 529498764..ffe1bab79 100644
--- a/src/V3EmitC.cpp
+++ b/src/V3EmitC.cpp
@@ -426,7 +426,8 @@ public:
             // $dumpall currently ignored
             break;
         case VDumpCtlType::FLUSH:
-            puts("Verilated::flushCall();\n");  // Also flush stdio, as need lock
+            // $dumpall currently ignored; would need rework of VCD single thread,
+            // or flag we pass-through to next eval() iteration
             break;
         case VDumpCtlType::LIMIT:
             // $dumplimit currently ignored