From 769efc2804840b6ac244ab48db2cb3c1764154a6 Mon Sep 17 00:00:00 2001 From: AlexShefY Date: Thu, 19 Sep 2024 09:58:28 +0200 Subject: [PATCH] reformatting --- verified_cogen/runners/languages/language.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verified_cogen/runners/languages/language.py b/verified_cogen/runners/languages/language.py index 7052eaf..6b20619 100644 --- a/verified_cogen/runners/languages/language.py +++ b/verified_cogen/runners/languages/language.py @@ -4,7 +4,7 @@ class Language: _instance = None - simple_comment = None + simple_comment: str = None def __new__(cls, *args, **kwargs): if not isinstance(cls._instance, cls):