From c6a33d0eff240b1305143a1fe713f7642f0bcb4c Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Tue, 13 Jul 2021 16:49:22 -0700
Subject: [PATCH] more fixes

---
 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 0812f3e3..83d3b90e 100644
--- a/src/gates/insertion.rs
+++ b/src/gates/insertion.rs
@@ -100,7 +100,7 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
 
             // The two equality constraints.
             constraints.push(difference * equality_dummy - (F::Extension::ONE - insert_here));
-            constraints.push((F::Extension::ONE - insert_here) * difference);
+            constraints.push(insert_here * difference);
 
             let mut new_item = element_to_insert * insert_here.into() + already_inserted.into();
             if r > 0 {