diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-12-05 21:14:45 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-12-05 21:14:45 -0800 |
commit | e8267f00bb1fd61add504210721bbd469362e6ca (patch) | |
tree | ba99d112b275f51faee13a89b40abfd35cee599a /020run.cc | |
parent | d51abbf123f2411624b8c849f72624f1c70c4224 (diff) | |
download | mu-e8267f00bb1fd61add504210721bbd469362e6ca.tar.gz |
4140
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/020run.cc b/020run.cc index 4d151b93..d140771b 100644 --- a/020run.cc +++ b/020run.cc @@ -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; |