Fmt

argumentcomputer · Aug 18, 2023 · e0d2f81 · e0d2f81
1 parent ef37caa
commit e0d2f81
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/src/lem/circuit.rs b/src/lem/circuit.rs
@@ -35,8 +35,8 @@ use bellpepper_core::{
 use crate::circuit::gadgets::{
     constraints::{
         add, alloc_equal, alloc_equal_const, alloc_is_zero, allocate_is_negative, and,
-        boolean_to_num, div, enforce_pack, enforce_selector_with_premise, implies_equal,
-        implies_u64, enforce_product_and_sum, mul, pick, sub,
+        boolean_to_num, div, enforce_pack, enforce_product_and_sum, enforce_selector_with_premise,
+        implies_equal, implies_u64, mul, pick, sub,
     },
     data::{allocate_constant, hash_poseidon},
     pointer::AllocatedPtr,
@@ -736,7 +736,14 @@ impl Func {
                         implies_u64(cs.namespace(|| "rem_u64"), not_dummy, &rem)?;
                         implies_u64(cs.namespace(|| "diff_u64"), not_dummy, &diff)?;
 
-                        enforce_product_and_sum(cs, || "enforce a = b * div + rem", b, &div, &rem, a);
+                        enforce_product_and_sum(
+                            cs,
+                            || "enforce a = b * div + rem",
+                            b,
+                            &div,
+                            &rem,
+                            a,
+                        );
                         let tag = g
                             .global_allocator
                             .get_or_alloc_const(cs, Tag::Expr(Num).to_field())?;