1 files changed, 4 insertions, 0 deletions
diff --git a/cpp/tangle/030tangle.cc b/cpp/tangle/030tangle.cc
index c47c8cc1..bf2d3c66 100644
--- a/cpp/tangle/030tangle.cc
+++ b/cpp/tangle/030tangle.cc
@@ -197,6 +197,10 @@ void emit_test(const string& name, list<string>& lines, list<string>& result) {
       result.push_back("  CLEAR_TRACE;");
       lines.pop_front();
     }
+    if (!lines.empty() && lines.front() == "?") {
+      result.push_back("  DUMP(\"\");");
+      lines.pop_front();
+    }
   }
   result.push_back("}");