reformatting

JetBrains-Research · Sep 19, 2024 · ecdb6be · ecdb6be
1 parent 8dc4bb7
commit ecdb6be
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/verified_cogen/runners/languages/language.py b/verified_cogen/runners/languages/language.py
@@ -1,11 +1,10 @@
 from abc import abstractmethod
 from typing import Pattern
-import re
 
 
 class Language:
     _instance = None
-    simple_comment = None
+    simple_comment: str
 
     def __new__(cls, *args, **kwargs):
         if not isinstance(cls._instance, cls):