diff options
Diffstat (limited to '029tools.cc')
| -rw-r--r-- | 029tools.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/029tools.cc b/029tools.cc index 12840d90..b03635b0 100644 --- a/029tools.cc +++ b/029tools.cc @@ -111,7 +111,6 @@ case _START_TRACING: { Trace_stream->dump_layer = "all"; else Trace_stream->dump_layer = current_instruction().ingredients.at(0).name; -//? cout << Trace_stream << ": " << Trace_stream->dump_layer << '\n'; //? 1 break; } |