From 22fa108ffd91834eb5b4a98a3e14434750b7b8f5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 8 Oct 2017 11:07:22 +0100
Subject: [PATCH] fix #1288, again

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/rel/tbv.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/rel/tbv.cpp b/src/muz/rel/tbv.cpp
index 69cc4819a..5ef15303e 100644
--- a/src/muz/rel/tbv.cpp
+++ b/src/muz/rel/tbv.cpp
@@ -74,7 +74,7 @@ tbv* tbv_manager::allocate(tbv const& bv) {
 }
 tbv* tbv_manager::allocate(uint64 val) {
     tbv* v = allocate0();
-    for (unsigned bit = std::min(64u, num_tbits()); bit-- > 0;) {
+    for (unsigned bit = std::min(63u, num_tbits()); bit-- > 0;) {
         if (val & (1ULL << bit)) {                        
             set(*v, bit, BIT_1);
         } else {