diff options
Diffstat (limited to 'src/proof/proof_manager.cpp')
| -rw-r--r-- | src/proof/proof_manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp index bbf5b0064..fda3f7424 100644 --- a/src/proof/proof_manager.cpp +++ b/src/proof/proof_manager.cpp @@ -798,7 +798,7 @@ void LFSCProof::toStream(std::ostream& out) const CodeTimer finalProofTimer{ ProofManager::currentPM()->getStats().d_finalProofTime}; out << ";; Printing final unsat proof \n"; - if (options::bitblastMode() == theory::bv::BITBLAST_MODE_EAGER + if (options::bitblastMode() == options::BitblastMode::EAGER && ProofManager::getBitVectorProof()) { ProofManager::getBitVectorProof()->printEmptyClauseProof(out, paren); |