diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-27 12:08:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-27 19:08:24 +0000 |
| commit | c95d4c5473e8c26832fef89a9a42275517a42613 (patch) | |
| tree | 36f42cad17c22b39c232c97b111df1e1e9a382f2 /src/printer | |
| parent | 1483676841847216a7cfe15e5d201a924739d014 (diff) | |
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD. (#6628)
This is to make it consistent with the name of the SMT-LIB operator
(fp.add).
Diffstat (limited to 'src/printer')
| -rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 2163167a6..6258834c4 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -875,7 +875,7 @@ void Smt2Printer::toStream(std::ostream& out, case kind::FLOATINGPOINT_EQ: case kind::FLOATINGPOINT_ABS: case kind::FLOATINGPOINT_NEG: - case kind::FLOATINGPOINT_PLUS: + case kind::FLOATINGPOINT_ADD: case kind::FLOATINGPOINT_SUB: case kind::FLOATINGPOINT_MULT: case kind::FLOATINGPOINT_DIV: @@ -1253,7 +1253,7 @@ std::string Smt2Printer::smtKindString(Kind k, Variant v) case kind::FLOATINGPOINT_EQ: return "fp.eq"; case kind::FLOATINGPOINT_ABS: return "fp.abs"; case kind::FLOATINGPOINT_NEG: return "fp.neg"; - case kind::FLOATINGPOINT_PLUS: return "fp.add"; + case kind::FLOATINGPOINT_ADD: return "fp.add"; case kind::FLOATINGPOINT_SUB: return "fp.sub"; case kind::FLOATINGPOINT_MULT: return "fp.mul"; case kind::FLOATINGPOINT_DIV: return "fp.div"; |