restore

cryspen · May 16, 2024 · da671b6 · da671b6
1 parent 2f62256
commit da671b6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libcrux-ml-kem/src/ind_cca.rs b/libcrux-ml-kem/src/ind_cca.rs
@@ -73,6 +73,7 @@ pub(crate) fn validate_public_key<
     } else if cfg!(feature = "simd128")
         && cfg!(target_arch = "aarch64")
         && libcrux_platform::simd128_support()
+        && false
     {
         #[cfg(all(feature = "simd128", target_arch = "aarch64"))]
         return validate_public_key_generic::<