mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

Fix g++ compile-time error

Browse source 
Signed-off-by: U-EUROPE\t-alexh <t-alexh@microsoft.com>
This commit is contained in:
U-EUROPE\t-alexh 2015-05-12 10:23:04 +01:00
parent 2e627e78bc
commit b882a94f6a
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/muz/rel/tbv.cpp
View file

@ -103,8 +103,8 @@ tbv* tbv_manager::allocate(char const* bv) {
tbv* result = allocateX(); tbv* result = allocateX();
unsigned i = 0, sz = num_tbits(); unsigned i = 0, sz = num_tbits();
while(*bv && i < sz) { while(*bv && i < sz) {
if (*bv == '0') set(*result, i++, tbit::BIT_0); if (*bv == '0') set(*result, i++, BIT_0);
else if (*bv == '1') set(*result, i++, tbit::BIT_1); else if (*bv == '1') set(*result, i++, BIT_1);
else if (*bv == '*') i++; else if (*bv == '*') i++;
else if (i == 0 && (*bv == ' ' || *bv == '\t')) ; else if (i == 0 && (*bv == ' ' || *bv == '\t')) ;
else break; else break;