reformatting

JetBrains-Research · Sep 19, 2024 · 1a80fa6 · 1a80fa6
1 parent 769efc2
commit 1a80fa6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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):