diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-11-20 15:11:39 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-20 15:11:39 -0800 |
commit | 6a02b2e28ee8d0560c923eaf0073c2fdce8fbfa2 (patch) | |
tree | f17b2eb5737d537e6b3ac69624a0bc1e1d8481b2 /src/printer/smt2 | |
parent | fedb3256b37511943c4a843327d36da31480be69 (diff) |
RoundingMode: Rename enum values to conform to code style guidelines. (#5494)
Diffstat (limited to 'src/printer/smt2')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 03b04469c..747873bee 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -209,14 +209,14 @@ void Smt2Printer::toStream(std::ostream& out, } case kind::CONST_ROUNDINGMODE: switch (n.getConst<RoundingMode>()) { - case roundNearestTiesToEven : out << "roundNearestTiesToEven"; break; - case roundNearestTiesToAway : out << "roundNearestTiesToAway"; break; - case roundTowardPositive : out << "roundTowardPositive"; break; - case roundTowardNegative : out << "roundTowardNegative"; break; - case roundTowardZero : out << "roundTowardZero"; break; - default : - Unreachable() << "Invalid value of rounding mode constant (" - << n.getConst<RoundingMode>() << ")"; + case ROUND_NEAREST_TIES_TO_EVEN: out << "roundNearestTiesToEven"; break; + case ROUND_NEAREST_TIES_TO_AWAY: out << "roundNearestTiesToAway"; break; + case ROUND_TOWARD_POSITIVE: out << "roundTowardPositive"; break; + case ROUND_TOWARD_NEGATIVE: out << "roundTowardNegative"; break; + case ROUND_TOWARD_ZERO: out << "roundTowardZero"; break; + default: + Unreachable() << "Invalid value of rounding mode constant (" + << n.getConst<RoundingMode>() << ")"; } break; case kind::CONST_BOOLEAN: |