diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs index 83d3b90e..8fbda3d2 100644 --- a/src/gates/insertion.rs +++ b/src/gates/insertion.rs @@ -102,7 +102,7 @@ impl, const D: usize> Gate for InsertionGate { constraints.push(difference * equality_dummy - (F::Extension::ONE - insert_here)); constraints.push(insert_here * difference); - let mut new_item = element_to_insert * insert_here.into() + already_inserted.into(); + let mut new_item = element_to_insert * insert_here.into(); if r > 0 { new_item += list_items[r - 1] * already_inserted.into(); }