reverting portfolio hack

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 1cc024117ef27b43c0fc20f9c8d879ab45d1219b..9de3b21347f2c9772e34040f3ccb0122e9792d11 100644 (file)
--- 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 */