This commit is contained in:
Nicholas Ward 2022-01-04 15:27:59 -08:00
parent f436c14242
commit 440a5bd5d9

View File

@ -1097,7 +1097,9 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
.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)