fix main

JetBrains-Research · Sep 24, 2024 · 94cb8ae · 94cb8ae
1 parent b44e129
commit 94cb8ae
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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