From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 4 Sep 2014 17:49:36 +0000 (-0400)
Subject: Update command_executor_portfolio.cpp
X-Git-Tag: cvc5-1.0.0~6636
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fc573f3512b5345763755c9d7a061d430c46ae5f;p=cvc5.git

Update 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] &&