From 94cb8ae1f02c7e545b01ab3b0f9a2bf044a1a21c Mon Sep 17 00:00:00 2001
From: AlexShefY <alex.shefer.31@gmail.com>
Date: Tue, 24 Sep 2024 09:46:41 +0200
Subject: [PATCH] fix main

---
 verified_cogen/runners/parsers/identParser.py | 4 +++-
 verified_cogen/runners/parsers/jsonParser.py  | 4 +++-
 verified_cogen/runners/validating.py          | 4 +++-
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/verified_cogen/runners/parsers/identParser.py b/verified_cogen/runners/parsers/identParser.py
index fbc7671..17efad2 100644
--- a/verified_cogen/runners/parsers/identParser.py
+++ b/verified_cogen/runners/parsers/identParser.py
@@ -2,7 +2,9 @@
 
 
 class IdentParser(Parser):
-    def __init__(self):
+    def __init__(
+        self,
+    ):
         super().__init__()
 
     def parse(self, text: str) -> str:
diff --git a/verified_cogen/runners/parsers/jsonParser.py b/verified_cogen/runners/parsers/jsonParser.py
index 64946b0..ae59e7e 100644
--- a/verified_cogen/runners/parsers/jsonParser.py
+++ b/verified_cogen/runners/parsers/jsonParser.py
@@ -3,7 +3,9 @@
 
 
 class JsonParser(Parser):
-    def __init__(self):
+    def __init__(
+        self,
+    ):
         super().__init__()
 
     def parse(self, text: str) -> str:
diff --git a/verified_cogen/runners/validating.py b/verified_cogen/runners/validating.py
index 28f6d02..e04c852 100644
--- a/verified_cogen/runners/validating.py
+++ b/verified_cogen/runners/validating.py
@@ -16,7 +16,9 @@ def __init__(
         language: Language,
         log_tries: Optional[pathlib.Path] = None,
     ):
-        super().__init__(wrapping.llm, wrapping.logger, wrapping.verifier, log_tries)
+        super().__init__(
+            wrapping.llm, wrapping.logger, wrapping.verifier, log_tries=log_tries
+        )
         self.wrapped_runner = wrapping
         self.language = language