From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 4 Oct 2018 02:22:34 +0000 (-0700)
Subject: Fix compiler warnings. (#2585)
X-Git-Tag: cvc5-1.0.0~4464
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=25fca70c9461a30f8c170324e79347ea156fa738;p=cvc5.git

Fix compiler warnings. (#2585)
---

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