Move Libcrux_ml_kem.Ind_cpa.fst to SLOW_MODULES

cryspen · Jan 27, 2025 · c2f2b9a · c2f2b9a
1 parent 02dd7a5
commit c2f2b9a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/libcrux-ml-kem/proofs/fstar/extraction/Makefile b/libcrux-ml-kem/proofs/fstar/extraction/Makefile
@@ -2,8 +2,7 @@ SLOW_MODULES += Libcrux_ml_kem.Vector.Portable.Serialize.fst \
                 Libcrux_ml_kem.Ind_cpa.fst \
                 Libcrux_ml_kem.Vector.Rej_sample_table.fsti
 
-ADMIT_MODULES = Libcrux_ml_kem.Ind_cpa.fst \
-              Libcrux_ml_kem.Vector.Neon.Arithmetic.fst \
+ADMIT_MODULES = Libcrux_ml_kem.Vector.Neon.Arithmetic.fst \
               Libcrux_ml_kem.Vector.Neon.Compress.fst \
               Libcrux_ml_kem.Vector.Neon.fsti \
               Libcrux_ml_kem.Vector.Neon.fst \