From a511f7a440aa99ea9db075a4356067b71902334f Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Mon, 8 Jun 2015 20:19:57 -0400 Subject: [PATCH] move delete beyond ifdef CVC4_COMPETITION_MODE --- src/main/command_executor_portfolio.cpp | 6 +++--- 1 file 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; -- 2.30.2