From 8ca2a36b5a3e6c1e35e8f0c4e5e9300254f085ac Mon Sep 17 00:00:00 2001 From: AlexShefY Date: Tue, 24 Sep 2024 09:48:08 +0200 Subject: [PATCH] fix main --- verified_cogen/runners/parsers/identParser.py | 2 +- verified_cogen/runners/parsers/jsonParser.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/verified_cogen/runners/parsers/identParser.py b/verified_cogen/runners/parsers/identParser.py index 17efad2..635ed99 100644 --- 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 index ae59e7e..d3f55d8 100644 --- 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")