Removed unused variable in extract_to_fstar.py

cryspen · Oct 11, 2023 · 5a2853a · 5a2853a
1 parent f072f9e
commit 5a2853a
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/extract_to_fstar.py b/extract_to_fstar.py
@@ -6,7 +6,7 @@
 import sys
 
 
-def shell(command, expect=0, cwd=None, format_filter_string=False):
+def shell(command, expect=0, cwd=None):
     subprocess_stdout = subprocess.DEVNULL
 
     print("Command: ", end="")
@@ -101,7 +101,6 @@ def shell(command, expect=0, cwd=None, format_filter_string=False):
             "fstar",
         ],
         cwd=options.crate_path,
-        format_filter_string=True,
     )
 elif options.kyber_reference:
     shell(
@@ -114,7 +113,6 @@ def shell(command, expect=0, cwd=None, format_filter_string=False):
             "fstar",
         ],
         cwd=".",
-        format_filter_string=True,
     )
 else:
     shell(["cargo", "hax", "into", "fstar"], cwd=options.crate_path)