diff --git a/src/fns/unconstrained_helpers.nr b/src/fns/unconstrained_helpers.nr index 694971e5..f6f7282d 100644 --- a/src/fns/unconstrained_helpers.nr +++ b/src/fns/unconstrained_helpers.nr @@ -29,7 +29,7 @@ pub(crate) unconstrained fn __validate_in_field_compute_borrow_flags( +pub(crate) unconstrained fn __validate_gt_remainder( lhs: [Field; N], rhs: [Field; N], ) -> ([Field; N], [bool; N], [bool; N]) { diff --git a/src/fns/unconstrained_ops.nr b/src/fns/unconstrained_ops.nr index b72f913b..7a8540d2 100644 --- a/src/fns/unconstrained_ops.nr +++ b/src/fns/unconstrained_ops.nr @@ -222,7 +222,7 @@ pub(crate) unconstrained fn __div( * 2. numerator % divisor = remainder * 3. divisor * quotient + remainder = numerator **/ -pub(crate) unconstrained fn __udiv_mod( +pub(crate) unconstrained fn __udiv_mod( numerator: [Field; N], divisor: [Field; N], ) -> ([Field; N], [Field; N]) {