issue ref

cryspen · Dec 11, 2024 · 939e5ea · 939e5ea
1 parent 0953378
commit 939e5ea
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libcrux-ml-kem/src/polynomial.rs b/libcrux-ml-kem/src/polynomial.rs
@@ -264,6 +264,8 @@ fn ntt_multiply<Vector: Operations>(
     out
 }
 
+// FIXME: We pulled out all the items because of https://github.com/hacspec/hax/issues/1183
+// Revisit when that issue is fixed.
 #[hax_lib::attributes]
 impl<Vector: Operations> PolynomialRingElement<Vector> {
     #[allow(non_snake_case)]