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

Z3Prover · Jun 29, 2022 · f6932f9 · f6932f9
2 parents 1a91226 + 03287d6
commit f6932f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
@@ -1842,7 +1842,7 @@ std::string mpz_manager<SYNCH>::to_string(mpz const & a) const {
 template<bool SYNCH>
 unsigned mpz_manager<SYNCH>::hash(mpz const & a) {
     if (is_small(a))
-        return a.m_val;
+        return ::abs(a.m_val);
 #ifndef _MP_GMP
     unsigned sz = size(a);
     if (sz == 1)