fix main

JetBrains-Research · Sep 24, 2024 · b44e129 · b44e129
1 parent 263179a
commit b44e129
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verified_cogen/main.py b/verified_cogen/main.py
@@ -193,7 +193,7 @@ def main():
             args.temperature,
         )
         runner = make_runner_cls(
-            args.bench_type, Path(args.input).suffix[1:], log_tries
+            args.bench_type, Path(args.input).suffix[1:], parser, log_tries
         )(llm, logger, verifier)
         tries = runner.run_on_file(mode, args.tries, args.input)
         if tries == 0: