remove depth for jump (#1628)

3 years ago · c236dde7d8
parent 6b34febd5e
commit c236dde7d8
1 changed files with 0 additions and 1 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -1549,7 +1549,6 @@ class Instruction:

        # manually set PC to destination
        new_state.mstate.pc = index
-        new_state.mstate.depth += 1

        return [new_state]