Update command_executor_portfolio.cpp

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index fde9c1c85de72b5efbcd6b040051b255cfe0d7cb..7d35a443af63d0277d5208e61487f976b6621535 100644 (file)
--- 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] &&