diff options
Diffstat (limited to 'html/020run.cc.html')
-rw-r--r-- | html/020run.cc.html | 2 |
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 && 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">"interactive"</span><span class="Delimiter">);</span> +<span id="L240" class="LineNr">240 </span> ofstream fout<span class="Delimiter">(</span><span class="Constant">"last_run"</span><span class="Delimiter">);</span> <span id="L241" class="LineNr">241 </span> fout << Trace_stream<span class="Delimiter">-></span><a href='003trace.cc.html#L143'>readable_contents</a><span class="Delimiter">(</span><span class="Constant">""</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> |