diff options
Diffstat (limited to 'src/smt/assertions.cpp')
| -rw-r--r-- | src/smt/assertions.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/assertions.cpp b/src/smt/assertions.cpp index 5fcb57beb..38a424731 100644 --- a/src/smt/assertions.cpp +++ b/src/smt/assertions.cpp @@ -183,7 +183,7 @@ void Assertions::addFormula( if (inUnsatCore || options::unsatCores() || options::dumpUnsatCores() || options::checkUnsatCores()) { - ProofManager::currentPM()->addCoreAssertion(n.toExpr()); + ProofManager::currentPM()->addCoreAssertion(n); } } else @@ -228,7 +228,7 @@ void Assertions::ensureBoolean(const Node& n) ss << "Expected Boolean type\n" << "The assertion : " << n << "\n" << "Its type : " << type; - throw TypeCheckingException(n.toExpr(), ss.str()); + throw TypeCheckingExceptionPrivate(n, ss.str()); } } |