Merge branch 'master' of https://github.com/z3prover/z3

Z3Prover · Dec 9, 2022 · ee307dd · ee307dd
2 parents 1434c7d + 9ebacd8
commit ee307dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
@@ -1463,7 +1463,7 @@ void mpz_manager<SYNCH>::bitwise_not(unsigned sz, mpz const & a, mpz & c) {
     if (is_small(a) && sz <= 64) {
         uint64_t v = ~get_uint64(a);
         unsigned zero_out = 64 - sz;
-        v = (v >> zero_out) << zero_out;
+        v = (v << zero_out) >> zero_out;
         set(c, v);
     }
     else {