From 220c9bc87a4832b9ef376c0e8654803087422609 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Wed, 14 Jul 2021 17:38:24 -0700
Subject: [PATCH] fixed bug oops

---
 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 8c91ced5..c98a86ca 100644
--- a/src/gates/insertion.rs
+++ b/src/gates/insertion.rs
@@ -103,10 +103,10 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
             if r > 0 {
                 new_item += list_items[r - 1] * already_inserted.into();
             }
+            already_inserted += insert_here;
             if r < self.vec_size {
                 new_item += list_items[r] * (F::Extension::ONE - already_inserted).into();
             }
-            already_inserted += insert_here;
 
             // Output constraint.
             constraints.extend((new_item - output_list_items[r]).to_basefield_array());