diff options
Diffstat (limited to 'src/api/cvc4cpp.cpp')
| -rw-r--r-- | src/api/cvc4cpp.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index eef2b7052..0963c704b 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -4906,14 +4906,14 @@ std::vector<Term> Solver::getUnsatAssumptions(void) const == SmtEngine::SmtMode::SMT_MODE_UNSAT) << "Cannot get unsat assumptions unless in unsat mode."; - std::vector<Expr> uassumptions = d_smtEngine->getUnsatAssumptions(); + std::vector<Node> uassumptions = d_smtEngine->getUnsatAssumptions(); /* Can not use * return std::vector<Term>(uassumptions.begin(), uassumptions.end()); * here since constructor is private */ std::vector<Term> res; - for (const Expr& e : uassumptions) + for (const Node& e : uassumptions) { - res.push_back(Term(this, e)); + res.push_back(Term(this, e.toExpr())); } return res; CVC4_API_SOLVER_TRY_CATCH_END; |