diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-04-01 20:53:17 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-04-01 20:53:17 +0000 |
| commit | 3bddc6c32b6b4c07ee13a9a4e62e854770e21c8a (patch) | |
| tree | f82bb332add5f8377ebb8df5a72644622f6a8507 /debugger/command_line_interpreter.ml | |
| parent | c63c0dd7699a27d1c053dfe79389468a518ca500 (diff) | |
Priorite plus faible pour la commande previous (conflit avec print).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/command_line_interpreter.ml')
| -rw-r--r-- | debugger/command_line_interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/command_line_interpreter.ml b/debugger/command_line_interpreter.ml index df502cf51..1b5704e84 100644 --- a/debugger/command_line_interpreter.ml +++ b/debugger/command_line_interpreter.ml @@ -962,7 +962,7 @@ Argument N means do this N times (or till program stops for another reason)." }; { instr_name = "start"; instr_prio = false; instr_action = instr_start; instr_repeat = true; instr_help = "execute backward until the current function is exited." }; - { instr_name = "previous"; instr_prio = true; + { instr_name = "previous"; instr_prio = false; instr_action = instr_previous; instr_repeat = true; instr_help = "step program until it reaches the previous event.\n\ Skip over function calls.\n\ |