diff --git a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py index b4820b86..20523ac5 100644 --- a/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py +++ b/mythril/laser/ethereum/plugins/implementations/dependency_pruner.py @@ -235,7 +235,6 @@ class DependencyPruner(LaserPlugin): @symbolic_vm.pre_hook("SLOAD") def sload_hook(state: GlobalState): - annotation = get_dependency_annotation(state) location = state.mstate.stack[-1]