diff --git a/mythril/analysis/modules/state_change_external_calls.py b/mythril/analysis/modules/state_change_external_calls.py index 01ae8354..0f4cb6f5 100644 --- a/mythril/analysis/modules/state_change_external_calls.py +++ b/mythril/analysis/modules/state_change_external_calls.py @@ -148,7 +148,6 @@ class StateChange(DetectionModule): if not annotation.state_change_states: continue vulnerabilities.append(annotation.get_issue(global_state)) - global_state.annotations.remove(annotation) return vulnerabilities @staticmethod