Remove the annotation removal

6 years ago · 228ea789ed
parent 931432ad85
commit 228ea789ed
1 changed files with 0 additions and 1 deletions
--- 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