From fc573f3512b5345763755c9d7a061d430c46ae5f Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Thu, 4 Sep 2014 13:49:36 -0400 Subject: Update command_executor_portfolio.cpp --- src/main/command_executor_portfolio.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/main/command_executor_portfolio.cpp') diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index fde9c1c85..7d35a443a 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -373,8 +373,8 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd) status = doCommandSingleton(gp); } else if( d_options[options::dumpInstantiations] && ( ( d_options[options::instFormatMode]!=INST_FORMAT_MODE_SZS && - ( res.asSatisfiabilityResult() == Result::SAT || (res.isUnknown() && res.whyUnknown() == Result::INCOMPLETE) ) ) || - res.asSatisfiabilityResult() == Result::UNSAT ) ) { + ( d_result.asSatisfiabilityResult() == Result::SAT || (d_result.isUnknown() && d_result.whyUnknown() == Result::INCOMPLETE) ) ) || + d_result.asSatisfiabilityResult() == Result::UNSAT ) ) { Command* gi = new GetInstantiationsCommand(); status = doCommandSingleton(gi); } else if( d_options[options::dumpUnsatCores] && -- cgit v1.2.3