From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 9 Jun 2015 00:19:57 +0000 (-0400)
Subject: move delete beyond ifdef CVC4_COMPETITION_MODE
X-Git-Tag: cvc5-1.0.0~6302
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a511f7a440aa99ea9db075a4356067b71902334f;p=cvc5.git

move delete beyond ifdef CVC4_COMPETITION_MODE
---

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index e4effd239..53200ab7a 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -318,9 +318,6 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
     d_statWaitTime.stop();
 #endif /* CVC4_STATISTICS_ON */
 
-    delete d_seq;
-    d_seq = new CommandSequence();
-
     d_lastWinner = portfolioReturn.first;
     d_result = d_smts[d_lastWinner]->getStatusOfLastCommand();
 
@@ -355,6 +352,9 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
     /* cleanup this check sat specific stuff */
     lemmaSharingCleanup();
 
+    delete d_seq;
+    d_seq = new CommandSequence();
+
     delete[] fns;
 
     bool status = portfolioReturn.second;