From cc045debac782019b8872a7dd3a82df17df468d6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Jun 2022 11:23:18 -0700
Subject: [PATCH] again

---
 src/util/mpz.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index c07235ab1..bdad1ddfe 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -2248,7 +2248,10 @@ template<bool SYNCH>
 unsigned mpz_manager<SYNCH>::mlog2(mpz const & a) {
     if (is_nonneg(a))
         return 0;
-    if (is_small(a) && a.m_val > INT_MIN)
+    if (is_small(a) && a.m_val == INT_MIN)
+        return ::log2((unsigned)a.m_val);
+        
+    if (is_small(a))
         return ::log2((unsigned)-a.m_val);
 #ifndef _MP_GMP
     static_assert(sizeof(digit_t) == 8 || sizeof(digit_t) == 4, "");