diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-03 19:22:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 19:22:34 -0700 |
| commit | 25fca70c9461a30f8c170324e79347ea156fa738 (patch) | |
| tree | f28b4e0bf5ca80294f70d46c1062f1d2822159e3 /src/theory/fp | |
| parent | 699e80251c9c26e0b44d1486790d94209003ff11 (diff) | |
Fix compiler warnings. (#2585)
Diffstat (limited to 'src/theory/fp')
| -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 |