Norrh suggestion #1

5 years ago · d21f9877f7
parent 4df215ca49
commit d21f9877f7
1 changed files with 2 additions and 3 deletions
--- a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py
@ -45,9 +45,8 @@ class DependencyAnnotation(StateAnnotation):
    def extend_storage_write_cache(self, iteration: int, value: object):
        if iteration not in self.storage_written:
            self.storage_written[iteration] = [value]
-        else:
-            if value not in self.storage_written[iteration]:
-                self.storage_written[iteration].append(value)
+        elif value not in self.storage_written[iteration]:
+            self.storage_written[iteration].append(value)


 class WSDependencyAnnotation(StateAnnotation):