move delete beyond ifdef CVC4_COMPETITION_MODE

1 files changed, 3 insertions, 3 deletions

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;