diff options
Diffstat (limited to 'src/smt/proof_manager.cpp')
| -rw-r--r-- | src/smt/proof_manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/proof_manager.cpp b/src/smt/proof_manager.cpp index f6c489055..422efac6a 100644 --- a/src/smt/proof_manager.cpp +++ b/src/smt/proof_manager.cpp @@ -134,7 +134,7 @@ void PfManager::setFinalProof(std::shared_ptr<ProofNode> pfn, // Now make the final scope, which ensures that the only open leaves of the // proof are the assertions, unless we are doing proofs to generate unsat // cores, in which case we do not care. - d_finalProof = d_pnm->mkScope(pfn, assertions, !options::unsatCoresNew()); + d_finalProof = d_pnm->mkScope(pfn, assertions, !options::unsatCores()); Trace("smt-proof") << "SmtEngine::setFinalProof(): finished.\n"; } |