diff options
| author | lianah <lianahady@gmail.com> | 2014-06-10 15:07:31 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-10 15:07:31 -0400 |
| commit | db795eb64da6f10f2a322e33d8a0eb0ef0bb6f1b (patch) | |
| tree | dd1fe1496b7ac80c1373c509d187320946145655 /src/main/command_executor_portfolio.cpp | |
| parent | 5f072a19d299191dbedc4b69c8e0eda694cfa957 (diff) | |
reverting portfolio hack
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 */ |