From: lianah <lianahady@gmail.com>
Date: Tue, 10 Jun 2014 19:07:31 +0000 (-0400)
Subject: reverting portfolio hack
X-Git-Tag: cvc5-1.0.0~6843
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=db795eb64da6f10f2a322e33d8a0eb0ef0bb6f1b;p=cvc5.git

reverting portfolio hack
---

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 */