diff options
Diffstat (limited to 'debugger/debugcom.ml')
| -rw-r--r-- | debugger/debugcom.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debugger/debugcom.ml b/debugger/debugcom.ml index ccb20b174..ac8103294 100644 --- a/debugger/debugcom.ml +++ b/debugger/debugcom.ml @@ -118,6 +118,9 @@ let initial_frame () = let pc = input_binary_int !conn.io_in in (stack_pos, pc) +let set_initial_frame () = + let _ = initial_frame () in () + (* Move up one frame *) (* Return stack position and current pc. If there's no frame above, return (-1, 0). *) |