This commit is contained in:
Nicholas Ward 2021-10-19 14:43:39 -07:00
parent 649c2e2b52
commit 0c182c4621

View File

@ -104,7 +104,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
carry = new_carry;
combined_limbs.push(new_limb);
}
combined_limbs[num_limbs] = carry;
combined_limbs.push(carry);
BigUintTarget {
limbs: combined_limbs,