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();
   }