fix format

lean-dojo · Sep 24, 2023 · 10e245f · 10e245f
1 parent bbbbcbc
commit 10e245f
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/prover/evaluate.py b/prover/evaluate.py
@@ -87,7 +87,10 @@ def main() -> None:
         help="Path to the data extracted by LeanDojo (e.g., data/leandojo_benchmark/random).",
     )
     parser.add_argument(
-        "--split", type=str, choices=["train", "val", "test"], default="val",
+        "--split",
+        type=str,
+        choices=["train", "val", "test"],
+        default="val",
     )
     # `file_path`, `full_name`, `name_filter`, and `num_theorems` can be used to filter theorems.
     parser.add_argument("--file-path", type=str)