akkartik/mu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

4140

Browse Source
This commit is contained in:
Kartik K. Agaram 2017-12-05 21:14:45 -08:00
parent d51abbf123
commit e8267f00bb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
020run.cc
View File

@ -234,7 +234,7 @@ else if (is_equal(*arg, "--trace")) {
:(code)
void cleanup_main() {
if (!Trace_stream) return;
if (Save_trace);
if (Save_trace)
Trace_stream->dump();
delete Trace_stream;
Trace_stream = NULL;