From 009e8d19d3cb23b0217e6fccb455ccfbfd7f88d5 Mon Sep 17 00:00:00 2001
From: Ary Borenszweig <asterite@gmail.com>
Date: Tue, 13 May 2025 14:57:57 -0300
Subject: [PATCH] fix: remove unused generics

---
 src/bignum.nr                | 4 ++--
 src/fns/unconstrained_ops.nr | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/bignum.nr b/src/bignum.nr
index 026d069b..542dbfb8 100644
--- a/src/bignum.nr
+++ b/src/bignum.nr
@@ -358,14 +358,14 @@ pub unconstrained fn batch_invert<T: BigNum, let M: u32>(x: [T; M]) -> [T; M] {
     })
 }
 
-pub unconstrained fn batch_invert_slice<T: BigNum, let M: u32>(x: [T]) -> [T] {
+pub unconstrained fn batch_invert_slice<T: BigNum>(x: [T]) -> [T] {
     let params = T::params();
     assert(params.has_multiplicative_inverse);
     crate::fns::unconstrained_ops::batch_invert_slice(params, x.map(|bn: T| bn.get_limbs()))
         .map(|limbs| T::from_limbs(limbs))
 }
 
-pub fn to_field<T: BigNum, let N: u32, let MOD_BITS: u32>(bn: T) -> Field {
+pub fn to_field<T: BigNum>(bn: T) -> Field {
     let params = T::params();
     limbs_to_field(params, bn.get_limbs())
 }
diff --git a/src/fns/unconstrained_ops.nr b/src/fns/unconstrained_ops.nr
index 5b843bcc..3055c18b 100644
--- a/src/fns/unconstrained_ops.nr
+++ b/src/fns/unconstrained_ops.nr
@@ -86,7 +86,7 @@ pub(crate) unconstrained fn __add<let N: u32>(
 * @brief given inputs `x, y` compute 2p + x - y (unconstrained)
 * @description see `__neg` for why we use 2p instead of p
 **/
-pub(crate) unconstrained fn __sub<let N: u32, let MOD_BITS: u32>(
+pub(crate) unconstrained fn __sub<let N: u32>(
     modulus: [u128; N],
     lhs: [u128; N],
     rhs: [u128; N],