mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
fix buggy mask (typo in my last commit..)
This commit is contained in:
parent
96a2c04026
commit
9ebacd87e2
|
@ -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 {
|
||||
|
|
Loading…
Reference in a new issue