diff options
| -rw-r--r-- | cpp/tangle/030tangle.cc | 4 |
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("}"); |