fix

JetBrains-Research · Nov 29, 2024 · 84b4965 · 84b4965
1 parent 9e69e3c
commit 84b4965
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/verified_cogen/tools/pureCallsDetectors.py b/verified_cogen/tools/pureCallsDetectors.py
@@ -4,8 +4,8 @@
 
 class PureFunctionCallReplacer(ast.NodeTransformer):
     def __init__(self, pure_non_helpers: List[str]):
-        self.pure_functions = list()
-        self.detected_calls = list()
+        self.pure_functions: List[str] = list()
+        self.detected_calls: List[str] = list()
         self.current_function = None
         self.in_pure_function = False
         self.in_condition = False