Update executor/src/witgen/machines/fixed_lookup_machine.rs

Co-authored-by: Georg Wiese <[email protected]>
powdr-labs · Jan 10, 2025 · b02894d · b02894d
1 parent f762231
commit b02894d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/executor/src/witgen/machines/fixed_lookup_machine.rs b/executor/src/witgen/machines/fixed_lookup_machine.rs
@@ -300,6 +300,7 @@ impl<'a, T: FieldElement> Machine<'a, T> for FixedLookup<'a, T> {
                     .iter()
                     .map(|v| (*v, *v, v.to_integer()))
                     .collect_vec(),
+                // Reduce range constraint by disjunction.
                 Some(mut acc) => {
                     for ((min, max, mask), v) in acc.iter_mut().zip_eq(values) {
                         *min = (*min).min(*v);