diff options
| -rw-r--r-- | debugger/frames.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debugger/frames.ml b/debugger/frames.ml index f68f1b6b9..ede7db8b4 100644 --- a/debugger/frames.ml +++ b/debugger/frames.ml @@ -60,6 +60,7 @@ let rec move_up frame_count event = (* Raise `Not_found' if no such frame. *) (* --- Assume the current events have already been updated. *) let select_frame frame_number = + if frame_number < 0 then raise Not_found; let (initial_sp, _) = get_frame() in try match !current_event with |