diff --git a/verified_cogen/runners/languages/language.py b/verified_cogen/runners/languages/language.py index 6b20619..ed52378 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: str = None + simple_comment: str def __new__(cls, *args, **kwargs): if not isinstance(cls._instance, cls):