diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index ab961c4e..9966413c 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -108,6 +108,7 @@ class LaserEVM: transaction, return_global_state = e.global_state.transaction_stack.pop() if return_global_state is None: + e.global_state.world_state.node = global_state.node self.open_states.append(e.global_state.world_state) new_global_states = [] else: