about summary refs log tree commit diff stats
path: root/html/020run.cc.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-03-05 23:24:19 -0800
committerKartik K. Agaram <vc@akkartik.com>2017-03-05 23:24:19 -0800
commit215cf3c2d8a8712520e113c10c4a8f093521fe62 (patch)
tree51788bebacb989d2ddc0cf5c446940caa3d1ea41 /html/020run.cc.html
parent35870198e2356ee55e662fac97d88ba6b0137042 (diff)
downloadmu-215cf3c2d8a8712520e113c10c4a8f093521fe62.tar.gz
3756 - start of some improvements to the trace browser
Diffstat (limited to 'html/020run.cc.html')
-rw-r--r--html/020run.cc.html2
1 files changed, 1 insertions, 1 deletions
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) {
 <span id="L237" class="LineNr">237 </span><span class="Delimiter">:(code)</span>
 <span id="L238" class="LineNr">238 </span><span class="Normal">void</span> cleanup_main<span class="Delimiter">()</span> <span class="Delimiter">{</span>
 <span id="L239" class="LineNr">239 </span>  <span class="Normal">if</span> <span class="Delimiter">(</span>Save_trace &amp;&amp; Trace_stream<span class="Delimiter">)</span> <span class="Delimiter">{</span>
-<span id="L240" class="LineNr">240 </span>    ofstream fout<span class="Delimiter">(</span><span class="Constant">&quot;interactive&quot;</span><span class="Delimiter">);</span>
+<span id="L240" class="LineNr">240 </span>    ofstream fout<span class="Delimiter">(</span><span class="Constant">&quot;last_run&quot;</span><span class="Delimiter">);</span>
 <span id="L241" class="LineNr">241 </span>    fout &lt;&lt; Trace_stream<span class="Delimiter">-&gt;</span><a href='003trace.cc.html#L143'>readable_contents</a><span class="Delimiter">(</span><span class="Constant">&quot;&quot;</span><span class="Delimiter">);</span>
 <span id="L242" class="LineNr">242 </span>    fout<span class="Delimiter">.</span>close<span class="Delimiter">();</span>
 <span id="L243" class="LineNr">243 </span>  <span class="Delimiter">}</span>