From db2d67d105548380ca96888b715aacbdca6622df Mon Sep 17 00:00:00 2001 From: Xavier Leroy <xavier.leroy@inria.fr> Date: Thu, 6 Apr 2000 09:09:10 +0000 Subject: 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 --- debugger/frames.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'debugger/frames.ml') 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 -- cgit v1.2.3-70-g09d2