diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 86f988e7..b06fc99d 100644 --- 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]