diff options
| -rw-r--r-- | src/theory/fp/fp_converter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/fp/fp_converter.cpp b/src/theory/fp/fp_converter.cpp index b73108b1a..dc6c001c9 100644 --- a/src/theory/fp/fp_converter.cpp +++ b/src/theory/fp/fp_converter.cpp @@ -253,7 +253,7 @@ symbolicRoundingMode::symbolicRoundingMode(const unsigned v) : nodeWrapper(NodeManager::currentNM()->mkConst( BitVector(SYMFPU_NUMBER_OF_ROUNDING_MODES, v))) { - PRECONDITION((v & v - 1) == 0 && v != 0); // Exactly one bit set + PRECONDITION((v & (v - 1)) == 0 && v != 0); // Exactly one bit set PRECONDITION(checkNodeType(*this)); } #else |