merge fixes for hax-lib attributes

cryspen · Nov 8, 2024 · bdd8a68 · bdd8a68
1 parent ef381ba
commit bdd8a68
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libcrux-ml-kem/proofs/fstar/extraction/Makefile b/libcrux-ml-kem/proofs/fstar/extraction/Makefile
@@ -16,4 +16,5 @@ ADMIT_MODULES = Libcrux_ml_kem.Vector.Avx2.fsti \
               Libcrux_ml_kem.Vector.Neon.Serialize.fst \
               Libcrux_ml_kem.Vector.Neon.Vector_type.fst
 
+FSTAR_INCLUDE_DIRS_EXTRA += ../spec
 include $(shell git rev-parse --show-toplevel)/fstar-helpers/Makefile.base