Parentheses added to clarify expression with a bitwise operation

VeriFIT · Mar 30, 2024 · ab669f3 · ab669f3
1 parent d379897
commit ab669f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/partition.cc b/src/partition.cc
@@ -423,7 +423,7 @@ std::vector<SplitPair> Partition::split_blocks(
         do {
             // we choose the swapping strategy using XOR operation
             while((repr_marked 
-                  ^ !used_states[get_block_item(iter_first).state])) {
+                  ^ (!used_states[get_block_item(iter_first).state]))) {
                 // this visited state will be part of the former block
                 ++iter_first;
             }