diff options
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/020run.cc b/020run.cc index 82cba458..588b406e 100644 --- a/020run.cc +++ b/020run.cc @@ -237,7 +237,7 @@ void dump_profile() { :(code) void cleanup_main() { if (Save_trace && Trace_stream) { - ofstream fout("interactive"); + ofstream fout("last_run"); fout << Trace_stream->readable_contents(""); fout.close(); } |