summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--mixlib/mix_vm.c1
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;
}