diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-06 09:09:10 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-04-06 09:09:10 +0000 |
| commit | db2d67d105548380ca96888b715aacbdca6622df (patch) | |
| tree | b98b53c226700073ea609f4c1e54e227b6cb6ea3 | |
| parent | 136e2a0d639b80ee66e5d83446c8529e8ac0f266 (diff) | |
PR#65: down et autres commandes pouvaient mener a des numeros de frames negatifs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |