diff options
-rw-r--r-- | src/smt/set_defaults.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/smt/set_defaults.cpp b/src/smt/set_defaults.cpp index f2c6c3387..761ff8701 100644 --- a/src/smt/set_defaults.cpp +++ b/src/smt/set_defaults.cpp @@ -72,7 +72,8 @@ void setDefaults(LogicInfo& logic, bool isInternalSubsolver) Notice() << "SmtEngine: setting unsatCores" << std::endl; options::unsatCores.set(true); } - if (options::checkProofs() || options::checkUnsatCoresNew()) + if (options::checkProofs() || options::checkUnsatCoresNew() + || options::dumpProofs()) { Notice() << "SmtEngine: setting proof" << std::endl; options::produceProofs.set(true); |