diff options
-rw-r--r-- | src/main/command_executor_portfolio.cpp | 6 |
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; |