From b882a94f6ada2cc2ab63bf3e6341e16dab013bd9 Mon Sep 17 00:00:00 2001 From: "U-EUROPE\\t-alexh" Date: Tue, 12 May 2015 10:23:04 +0100 Subject: [PATCH] Fix g++ compile-time error Signed-off-by: U-EUROPE\t-alexh --- src/muz/rel/tbv.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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;