From 1ecc234644e8f3d2cfb1820364b4070d8daf1b9f Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Tue, 13 Jul 2021 16:02:55 -0700
Subject: [PATCH] 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 479c0b45..adf213df 100644
--- a/src/gates/insertion.rs
+++ b/src/gates/insertion.rs
@@ -142,7 +142,7 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
     }
 
     fn num_wires(&self) -> usize {
-        self.wires_insert_here_for_round_r(self.vec_size - 1) + 1
+        self.wires_insert_here_for_round_r(self.vec_size) + 1
     }
 
     fn num_constants(&self) -> usize {