From f71adac40b3beb29a1c37d37dcaad05da840b6df Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Mon, 4 Oct 2021 14:18:32 -0700
Subject: [PATCH] fix

---
 src/gadgets/nonnative.rs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/gadgets/nonnative.rs b/src/gadgets/nonnative.rs
index 725b43a4..da82ee9e 100644
--- a/src/gadgets/nonnative.rs
+++ b/src/gadgets/nonnative.rs
@@ -36,9 +36,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         }
         combined_limbs[num_limbs] = carry;
 
+        let reduced_limbs = self.reduce_add_result(combined_limbs, modulus);
         NonNativeTarget {
             modulus,
-            limbs: combined_limbs,
+            limbs: reduced_limbs,
         }
     }
 
@@ -60,7 +61,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
             }
         }
 
-        let reduced_limbs = self.reduce(combined_limbs, modulus);
+        let reduced_limbs = self.reduce_mul_result(combined_limbs, modulus);
 
         NonNativeTarget {
             modulus,
@@ -68,7 +69,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         }
     }
 
-    pub fn reduce_mul_result(&mut self, limbs: Vec<Target>, modulus: BigUInt) -> Vec<Target> {
+    pub fn reduce_mul_result(&mut self, limbs: Vec<Target>, modulus: BigUint) -> Vec<Target> {
         todo!()
     }
 }