Remove reference to non-existant class variable

5 years ago · 4df215ca49
parent bae42c3d48
commit 4df215ca49
1 changed files with 0 additions and 1 deletions
--- a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
@ -337,7 +337,6 @@ class DependencyPruner(LaserPlugin):

            annotation.path = [0]
            annotation.storage_loaded = []
-            annotation.has_call = False

            world_state_annotation.annotations_stack.append(annotation)