From 215cf3c2d8a8712520e113c10c4a8f093521fe62 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 5 Mar 2017 23:24:19 -0800 Subject: 3756 - start of some improvements to the trace browser --- html/020run.cc.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/020run.cc.html') diff --git a/html/020run.cc.html b/html/020run.cc.html index 92a67ea1..38e9d427 100644 --- a/html/020run.cc.html +++ b/html/020run.cc.html @@ -302,7 +302,7 @@ if ('onhashchange' in window) { 237 :(code) 238 void cleanup_main() { 239 if (Save_trace && Trace_stream) { -240 ofstream fout("interactive"); +240 ofstream fout("last_run"); 241 fout << Trace_stream->readable_contents(""); 242 fout.close(); 243 } -- cgit 1.4.1-2-gfad0