From 0d004b5232d8f7ff6e8904e26adee09c6e19a27c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 30 Nov 2019 10:31:26 -0800
Subject: [PATCH] fix #2761

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/mpz.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 9c2d3d5ff..4edbdcfe9 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -1788,8 +1788,8 @@ void mpz_manager<SYNCH>::display_hex(std::ostream & out, mpz const & a, unsigned
 }
 
 void display_binary_data(std::ostream &out, unsigned val, unsigned numBits) {
-    SASSERT(numBits <= sizeof(unsigned)*8);
-    for (int shift = numBits-1; shift >= 0; --shift) {
+	for (unsigned shift = numBits; shift-- > 32; ) out << "0";
+    for (unsigned shift = std::min(32u, numBits); shift-- > 0; ) {
         if (val & (1 << shift)) {
             out << "1";
         } else {