diff options
Diffstat (limited to 'src/api/cpp/cvc5.cpp')
| -rw-r--r-- | src/api/cpp/cvc5.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp index 436ac9856..16366c3cf 100644 --- a/src/api/cpp/cvc5.cpp +++ b/src/api/cpp/cvc5.cpp @@ -216,7 +216,7 @@ const static std::unordered_map<Kind, cvc5::Kind> s_kinds{ {FLOATINGPOINT_EQ, cvc5::Kind::FLOATINGPOINT_EQ}, {FLOATINGPOINT_ABS, cvc5::Kind::FLOATINGPOINT_ABS}, {FLOATINGPOINT_NEG, cvc5::Kind::FLOATINGPOINT_NEG}, - {FLOATINGPOINT_PLUS, cvc5::Kind::FLOATINGPOINT_PLUS}, + {FLOATINGPOINT_ADD, cvc5::Kind::FLOATINGPOINT_ADD}, {FLOATINGPOINT_SUB, cvc5::Kind::FLOATINGPOINT_SUB}, {FLOATINGPOINT_MULT, cvc5::Kind::FLOATINGPOINT_MULT}, {FLOATINGPOINT_DIV, cvc5::Kind::FLOATINGPOINT_DIV}, @@ -502,7 +502,7 @@ const static std::unordered_map<cvc5::Kind, Kind, cvc5::kind::KindHashFunction> {cvc5::Kind::FLOATINGPOINT_EQ, FLOATINGPOINT_EQ}, {cvc5::Kind::FLOATINGPOINT_ABS, FLOATINGPOINT_ABS}, {cvc5::Kind::FLOATINGPOINT_NEG, FLOATINGPOINT_NEG}, - {cvc5::Kind::FLOATINGPOINT_PLUS, FLOATINGPOINT_PLUS}, + {cvc5::Kind::FLOATINGPOINT_ADD, FLOATINGPOINT_ADD}, {cvc5::Kind::FLOATINGPOINT_SUB, FLOATINGPOINT_SUB}, {cvc5::Kind::FLOATINGPOINT_MULT, FLOATINGPOINT_MULT}, {cvc5::Kind::FLOATINGPOINT_DIV, FLOATINGPOINT_DIV}, |