diff options
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
| -rw-r--r-- | src/main/command_executor_portfolio.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index 1cc024117..9de3b2134 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -330,12 +330,6 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd) *d_options[options::out] << d_ostringstreams[portfolioReturn.first]->str(); - // FIXME! MASSIVE HACK!! - if(d_options[options::statistics]) { - pExecutor->flushStatistics(*d_options[options::err]); - } - - exit(0); } /* cleanup this check sat specific stuff */ |