add brackets

prefix-dev · Jan 2, 2025 · a5e4e3e · a5e4e3e
1 parent ac092e0
commit a5e4e3e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver/binary_encoding.rs b/src/solver/binary_encoding.rs
@@ -66,7 +66,7 @@ impl<V: Hash + Eq + Clone> AtMostOnceTracker<V> {
             alloc_clause(
                 variable.clone(),
                 helper_var.clone(),
-                var_idx >> bit_idx & 1 == 1,
+                ((var_idx >> bit_idx) & 1) == 1,
             );
         }
     }