Merge pull request #311 from cryspen/karthik/ml-kem-extraction-fix

Fixing hax.py to generate .fst files
cryspen · Jun 12, 2024 · 5af39e4 · 5af39e4
2 parents 664dc26 + 915a1ac
commit 5af39e4
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",