Fix compiler warnings. (#2585)

diff --git a/src/theory/fp/fp_converter.cpp b/src/theory/fp/fp_converter.cpp
index b73108b1ac1df1fbc65d6701807e7be6b93a7a25..dc6c001c96c6f0afd52cfcb8f3bce3ff0ac0b3f5 100644 (file)
--- 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