diff options
Diffstat (limited to 'src/smt/env.cpp')
-rw-r--r-- | src/smt/env.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/smt/env.cpp b/src/smt/env.cpp index 12e3c7520..f42a51dd0 100644 --- a/src/smt/env.cpp +++ b/src/smt/env.cpp @@ -86,8 +86,10 @@ bool Env::isSatProofProducing() const { return d_proofNodeManager != nullptr && (!d_options.smt.unsatCores - || d_options.smt.unsatCoresMode - != options::UnsatCoresMode::ASSUMPTIONS); + || (d_options.smt.unsatCoresMode + != options::UnsatCoresMode::ASSUMPTIONS + && d_options.smt.unsatCoresMode + != options::UnsatCoresMode::PP_ONLY)); } bool Env::isTheoryProofProducing() const |