More preparation for CASC proofs. Minor fix for sort inference (rewrite new assertions). Bug fix for ambqi : simplify correctly for multi-sorted case. Bug fix for fmc : only do exh-simplification for uninterpreted sorts, ensure reps are enumerated for quantification over Real.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp
index 4dc49ee53..a1410d910 100644
--- a/src/main/command_executor.cpp
+++ b/src/main/command_executor.cpp
@@ -101,7 +101,7 @@ bool CommandExecutor::doCommandSingleton(Command* cmd)
       Command* gp = new GetProofCommand();
       status = doCommandSingleton(gp);
     } else if( d_options[options::dumpInstantiations] &&
-               d_result.asSatisfiabilityResult() == Result::UNSAT ) {
+               res.asSatisfiabilityResult() == Result::UNSAT ) {
       Command* gi = new GetInstantiationsCommand();
       status = doCommandSingleton(gi);
     }