fixing hax.py to generate .fst files

cryspen · Jun 12, 2024 · 3c9bba3 · 3c9bba3
1 parent e9e6067
commit 3c9bba3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/libcrux-ml-kem/hax.py b/libcrux-ml-kem/hax.py
@@ -101,8 +101,8 @@ def __call__(self, parser, args, values, option_string=None) -> None:
         )
 
         # Extract ml-kem
-        include_str = "+:** -libcrux_ml_kem::types::index_impls::**"
-        interface_include = "+*"
+        include_str = "+** -libcrux_ml_kem::types::index_impls::**"
+        interface_include = "+**"
         cargo_hax_into = [
             "cargo",
             "hax",