diff --git a/src/muz/rel/tbv.cpp b/src/muz/rel/tbv.cpp
index 577817e69..1dfa04992 100644
--- a/src/muz/rel/tbv.cpp
+++ b/src/muz/rel/tbv.cpp
@@ -103,8 +103,8 @@ tbv* tbv_manager::allocate(char const* bv) {
     tbv* result = allocateX();
     unsigned i = 0, sz = num_tbits();
     while(*bv && i < sz) {
-        if (*bv == '0') set(*result, i++, tbit::BIT_0);
-        else if (*bv == '1') set(*result, i++, tbit::BIT_1);
+        if (*bv == '0') set(*result, i++, BIT_0);
+        else if (*bv == '1') set(*result, i++, BIT_1);
         else if (*bv == '*') i++;
         else if (i == 0 && (*bv == ' ' || *bv == '\t')) ;
         else break;