diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-07 18:22:19 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-07 18:22:19 +0000 |
| commit | 242af96dba1bb152c842b92669b9991fbf28a8a5 (patch) | |
| tree | a6fdc32c36d4c33d4b4b0351f4237e800e1005cb /debugger/source.ml | |
| parent | cb7ba09182b80f1806b08c8a2553087812fa3be1 (diff) | |
| download | ocaml-242af96dba1bb152c842b92669b9991fbf28a8a5.tar.gz | |
Revision des messages première étape.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/source.ml')
| -rw-r--r-- | debugger/source.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debugger/source.ml b/debugger/source.ml index 0cb98150e4..aab3b912ee 100644 --- a/debugger/source.ml +++ b/debugger/source.ml @@ -86,7 +86,7 @@ let next_linefeed (buffer, _) pos = raise Out_of_range else let rec search p = - if (p = len) or (String.get buffer p = '\n') then + if p = len || String.get buffer p = '\n' then p else search (succ p) @@ -101,7 +101,7 @@ let next_line buffer (pos, line) = let line_of_pos buffer position = let rec find = function - [] -> + | [] -> if position < 0 then raise Out_of_range else |