From 7e81f297f2a5c7faf17780b3365ebb2b6fdd2719 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Mon, 25 Oct 2021 15:51:03 -0700
Subject: [PATCH] another 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 d3e92cc7..adf0245c 100644
--- a/src/gadgets/biguint.rs
+++ b/src/gadgets/biguint.rs
@@ -190,7 +190,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         self.connect_biguint(a, div_b_plus_rem);
 
         let cmp_rem_b = self.cmp_biguint(rem.clone(), b);
-        self.assert_zero(cmp_rem_b.target);
+        self.assert_one(cmp_rem_b.target);
 
         (div, rem)
     }