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 {