diff --git a/src/gates/gmimc.rs b/src/gates/gmimc.rs
index a3c26608..04c9d54a 100644
--- a/src/gates/gmimc.rs
+++ b/src/gates/gmimc.rs
@@ -309,12 +309,6 @@ mod tests {
         type Gate = GMiMCGate<F, 4, R>;
         let gate = Gate::with_constants(constants.clone());
 
-        let config = CircuitConfig {
-            num_wires: 126,
-            num_routed_wires: 200,
-            ..Default::default()
-        };
-
         let permutation_inputs = (0..W).map(F::from_canonical_usize).collect::<Vec<_>>();
 
         let mut witness = PartialWitness::new();
diff --git a/src/merkle_proofs.rs b/src/merkle_proofs.rs
index e971b3c5..233f4af5 100644
--- a/src/merkle_proofs.rs
+++ b/src/merkle_proofs.rs
@@ -68,7 +68,6 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         proof: &MerkleProofTarget,
     ) {
         let zero = self.zero();
-        let height = proof.siblings.len();
 
         let mut state: HashTarget = self.hash_or_noop(leaf_data);