From 3a2ba05b278eabbf28a8a33edee05e0074fa16b6 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Tue, 13 Jul 2021 16:50:48 -0700
Subject: [PATCH] last fix!

---
 src/gates/insertion.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
             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();
             }