diff options
Diffstat (limited to 'src/main.cc')
| -rw-r--r-- | src/main.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main.cc b/src/main.cc index 99f1ff93..ade5b6a1 100644 --- a/src/main.cc +++ b/src/main.cc @@ -445,7 +445,7 @@ int main(int argc, char * argv[], char * envp[]) status = read_and_report(report.get(), argc, argv, envp); - if (! ledger::do_cleanup) { + IF_VERIFY() { report.release(); session.release(); } @@ -480,7 +480,7 @@ int main(int argc, char * argv[], char * envp[]) status = _status; } - if (ledger::do_cleanup) + IF_VERIFY() ledger::shutdown(); return status; |