From 6cc06b408fab2b96d3faab7e9b2f082d692e1f92 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Wed, 30 Jun 2021 14:23:05 -0700
Subject: [PATCH] small change

---
 src/gadgets/insert.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/gadgets/insert.rs b/src/gadgets/insert.rs
index aa310568..b7f7e331 100644
--- a/src/gadgets/insert.rs
+++ b/src/gadgets/insert.rs
@@ -21,11 +21,10 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         let mut already_inserted = self.zero();
         let mut new_list = Vec::new();
 
-        let mut cur_index = self.zero();
         for i in 0..v.len() {
             let one = self.one();
             
-            cur_index = self.add(cur_index, one);
+            let cur_index = self.constant(F::from_canonical_usize(i));
             let insert_here = self.is_equal(cur_index, index);
 
             let mut new_item = self.zero_extension();