From 5a2853ab8a2cbe8c763c95bf9bbf10f3f839b430 Mon Sep 17 00:00:00 2001 From: xvzcf Date: Wed, 11 Oct 2023 13:28:38 -0400 Subject: [PATCH] Removed unused variable in extract_to_fstar.py --- extract_to_fstar.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/extract_to_fstar.py b/extract_to_fstar.py index a8f5f6553..a5d1a146d 100755 --- 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)