diff --git a/src/partition.cc b/src/partition.cc index f99ccdc38..9c95ba31e 100644 --- a/src/partition.cc +++ b/src/partition.cc @@ -427,7 +427,7 @@ std::vector Partition::split_blocks( // this visited state will be part of the former block ++iter_first; } - while(repr_marked ^ used_states[get_block_item(iter_last).state]) { + while((repr_marked ^ used_states[get_block_item(iter_last).state])) { // this visited state will be part of the new block block_items_[iter_last].block_idx = new_block_idx; --iter_last;