diff options
Diffstat (limited to '091run_interactive.cc')
| -rw-r--r-- | 091run_interactive.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/091run_interactive.cc b/091run_interactive.cc index 59c17312..f1647c59 100644 --- a/091run_interactive.cc +++ b/091run_interactive.cc @@ -123,8 +123,6 @@ void run_code_begin(bool should_stash_snapshots) { if (should_stash_snapshots) stash_snapshots(); Save_trace_stream = Trace_stream; - Save_trace_file = Trace_file; - Trace_file = ""; Trace_stream = new trace_stream; Trace_stream->collect_depth = App_depth; } @@ -135,7 +133,6 @@ void run_code_end() { delete Trace_stream; Trace_stream = Save_trace_stream; Save_trace_stream = NULL; - Trace_file = Save_trace_file; Save_trace_file.clear(); Recipe.erase(get(Recipe_ordinal, "interactive")); // keep past sandboxes from inserting errors if (!Recipe_snapshot_stash.empty()) |