From db795eb64da6f10f2a322e33d8a0eb0ef0bb6f1b Mon Sep 17 00:00:00 2001
From: lianah <lianahady@gmail.com>
Date: Tue, 10 Jun 2014 15:07:31 -0400
Subject: [PATCH] reverting portfolio hack

---
 src/main/command_executor_portfolio.cpp | 6 ------
 1 file changed, 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 */
-- 
2.30.2