fix main

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

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/verified_cogen/runners/parsers/identParser.py b/verified_cogen/runners/parsers/identParser.py
@@ -5,7 +5,7 @@ class IdentParser(Parser):
     def __init__(
         self,
     ):
-        super().__init__()
+        pass
 
     def parse(self, text: str) -> str:
         return text
diff --git a/verified_cogen/runners/parsers/jsonParser.py b/verified_cogen/runners/parsers/jsonParser.py
@@ -6,7 +6,7 @@ class JsonParser(Parser):
     def __init__(
         self,
     ):
-        super().__init__()
+        pass
 
     def parse(self, text: str) -> str:
         return json.loads(text)["code"].replace("\\n", "\n")