From 9ebacd87e2ee8a79adfe128021fbfd444db7857a Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Fri, 9 Dec 2022 16:16:52 +0000
Subject: [PATCH] fix buggy mask (typo in my last commit..)

---
 src/util/mpz.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index c56ab166794..c3ba3016160 100644
--- 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 {