From 82206fdc3e898696e64159cb1c41faa57da33ad5 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Mon, 12 Jul 2021 16:46:53 -0700
Subject: [PATCH] num_wires

---
 src/gates/insertion.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs
index 2d60ea83..b224edff 100644
--- a/src/gates/insertion.rs
+++ b/src/gates/insertion.rs
@@ -142,10 +142,7 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for InsertionGate<F, D> {
     }
 
     fn num_wires(&self) -> usize {
-        let num_input_wires = self.vec_size + 1; // the original vector, and the insertion index
-        let num_output_wires = self.vec_size + 1; // the final vector, with the inserted element
-        let num_intermediate_wires = 6 * self.vec_size; // six intermediate variables needed for each element of the vector
-        self.vec_size + 1
+        self.insert_here_for_round_r(self.vec_size - 1) + 1
     }
 
     fn num_constants(&self) -> usize {