fix(math): use the constructor argument for range check

kroma-network · Apr 26, 2024 · abdbe03 · abdbe03
1 parent a060312
commit abdbe03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tachyon/math/finite_fields/small_prime_field.h b/tachyon/math/finite_fields/small_prime_field.h
@@ -49,7 +49,7 @@ class PrimeField<_Config, std::enable_if_t<!_Config::kIsSpecialPrime &&
     DCHECK_LT(value_, GetModulus());
   }
   constexpr explicit PrimeField(const BigInt<N>& value) : PrimeField(value[0]) {
-    DCHECK_LT(value_, GetModulus());
+    DCHECK_LT(value[0], GetModulus());
   }
   constexpr PrimeField(const PrimeField& other) = default;
   constexpr PrimeField& operator=(const PrimeField& other) = default;