diff --git a/plonky2/src/plonk/circuit_builder.rs b/plonky2/src/plonk/circuit_builder.rs index ae65a53b..058c5d0d 100644 --- a/plonky2/src/plonk/circuit_builder.rs +++ b/plonky2/src/plonk/circuit_builder.rs @@ -1097,7 +1097,9 @@ impl, const D: usize> CircuitBuilder { .free_binary_subtraction_gate .insert(BITS, (gate, i + 1)); } else { - self.batched_gates.free_binary_subtraction_gate.remove(&BITS); + self.batched_gates + .free_binary_subtraction_gate + .remove(&BITS); } (gate, i)