From da671b6209daab6028bcf368685ab63785a8531f Mon Sep 17 00:00:00 2001
From: Karthikeyan Bhargavan <karthik.bhargavan@gmail.com>
Date: Thu, 16 May 2024 22:35:54 +0200
Subject: [PATCH] restore

---
 libcrux-ml-kem/src/ind_cca.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libcrux-ml-kem/src/ind_cca.rs b/libcrux-ml-kem/src/ind_cca.rs
index a538e313b..6c1e7a414 100644
--- 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::<