diff options
| -rw-r--r-- | mixlib/mix_vm.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mixlib/mix_vm.c b/mixlib/mix_vm.c index 0055cd5..3745c19 100644 --- a/mixlib/mix_vm.c +++ b/mixlib/mix_vm.c @@ -364,6 +364,7 @@ mix_vm_exec_next (mix_vm_t *vm) return MIX_VM_ERROR; else update_time_ (vm, &ins); + if (is_halted_ (vm)) return MIX_VM_HALT; return bp_is_set_ (vm, get_loc_ (vm)) ? MIX_VM_BREAK : MIX_VM_OK; } |