diff --git a/mythril/laser/ethereum/state/global_state.py b/mythril/laser/ethereum/state/global_state.py index 0e15209d..88d297c4 100644 --- a/mythril/laser/ethereum/state/global_state.py +++ b/mythril/laser/ethereum/state/global_state.py @@ -98,8 +98,7 @@ class GlobalState: try: return instructions[self.mstate.pc] except KeyError: - new_instruction = {"address": self.mstate.pc, "opcode": "STOP"} - return new_instruction + return {"address": self.mstate.pc, "opcode": "STOP"} @property def current_transaction(