From 0c182c462116cd6a075eef16d1d437d8372c7048 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Tue, 19 Oct 2021 14:43:39 -0700
Subject: [PATCH] fix

---
 src/gadgets/biguint.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gadgets/biguint.rs b/src/gadgets/biguint.rs
index f064a1bd..3aa5c8c1 100644
--- a/src/gadgets/biguint.rs
+++ b/src/gadgets/biguint.rs
@@ -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,