cleanup

7 years ago · 4f0fd750e3
parent 2202c0011f
commit 4f0fd750e3
1 changed files with 1 additions and 3 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -81,9 +81,7 @@ def _check_integer_overflow(statespace, state, node):

    # Formulate overflow constraints
    ctx = state.context
-    mstate = state.mstate
-    stack = mstate.stack
-    main = main_ctx()
+    stack = state.mstate.stack

    op0, op1 = stack[1], stack[-2]