diff options
Diffstat (limited to 'src/smt/assertions.cpp')
-rw-r--r-- | src/smt/assertions.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/assertions.cpp b/src/smt/assertions.cpp index d873f31bb..aee7a2a86 100644 --- a/src/smt/assertions.cpp +++ b/src/smt/assertions.cpp @@ -178,7 +178,7 @@ void Assertions::addFormula( } // Give it to the old proof manager - if (options::unsatCores() && !isProofEnabled()) + if (options::unsatCores()) { if (inInput) { // n is an input assertion |