diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-08 20:19:57 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-08 20:19:57 -0400 |
commit | a511f7a440aa99ea9db075a4356067b71902334f (patch) | |
tree | a54569b00f59e8060f8d4045925a81d80739f174 /src/main | |
parent | 8f5698e5a2a9243743e5416a9b29a6b2086794a8 (diff) |
move delete beyond ifdef CVC4_COMPETITION_MODE
Diffstat (limited to 'src/main')
-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; |