fix

alex28sh · alex28sh · commit e71691d7b182 · 2025-02-24T20:36:26.000+01:00
diff --git a/verified_cogen/main.py b/verified_cogen/main.py
@@ -58,7 +58,7 @@ def run_once(
             args.temperature,
         )
 
-        runner = runner_cls(llm, logger, verifier, rewriter)
+        runner = runner_cls(llm, logger, verifier, rewriter, None)
 
         retries = args.retries + 1
         tries = None

Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,7 @@ def run_once(`
`58`	`58`	`args.temperature,`
`59`	`59`	`)`
`60`	`60`
`61`		`- runner = runner_cls(llm, logger, verifier, rewriter)`
	`61`	`+ runner = runner_cls(llm, logger, verifier, rewriter, None)`
`62`	`62`
`63`	`63`	`retries = args.retries + 1`
`64`	`64`	`tries = None`