diff options
| -rw-r--r-- | 081run_interactive.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index c47e0159..ac05fbad 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -211,7 +211,6 @@ if (must_clean_up_interactive) clean_up_interactive(); if (must_clean_up_interactive) clean_up_interactive(); :(code) void clean_up_interactive() { - Trace_stream->newline(); // flush trace Hide_warnings = false; Track_most_recent_products = false; // hack: assume collect_layers isn't set anywhere else |