Remove use crate::vector::FIELD_MODULUS

cryspen · Sep 23, 2024 · c7c3b3e · c7c3b3e
1 parent 737bf43
commit c7c3b3e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/libcrux-ml-kem/src/vector/avx2.rs b/libcrux-ml-kem/src/vector/avx2.rs
@@ -7,8 +7,6 @@ mod ntt;
 mod sampling;
 mod serialize;
 
-use crate::vector::FIELD_MODULUS;
-
 #[derive(Clone, Copy)]
 #[hax_lib::fstar::before(interface,"noeq")]
 #[hax_lib::fstar::after(interface,"let repr (x:t_SIMD256Vector) : t_Array i16 (sz 16) = Libcrux_intrinsics.Avx2_extract.vec256_as_i16x16 x.f_elements")]

diff --git a/libcrux-ml-kem/src/vector/portable.rs b/libcrux-ml-kem/src/vector/portable.rs
@@ -15,8 +15,6 @@ use vector_type::*;
 
 pub(crate) use vector_type::PortableVector;
 
-use crate::vector::FIELD_MODULUS;
-
 #[cfg(hax)]
 impl crate::vector::traits::Repr for PortableVector {
     fn repr(x: Self) -> [i16; 16] {