summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_text_lexer.mll
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2002-12-12 09:15:34 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2002-12-12 09:15:34 +0000
commita13431ccf3fff7d663baf54867b25f5c53cbeb4b (patch)
tree198e111632ce915ce8f25b05fbf1914e6f91d875 /ocamldoc/odoc_text_lexer.mll
parent4a7da352567cd4b39e24adfc18934e43be3767c7 (diff)
downloadocaml-a13431ccf3fff7d663baf54867b25f5c53cbeb4b.tar.gz
correction retour en arriere dans le lexeur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_text_lexer.mll')
-rw-r--r--ocamldoc/odoc_text_lexer.mll6
1 files changed, 4 insertions, 2 deletions
diff --git a/ocamldoc/odoc_text_lexer.mll b/ocamldoc/odoc_text_lexer.mll
index 6602a98681..b141c914aa 100644
--- a/ocamldoc/odoc_text_lexer.mll
+++ b/ocamldoc/odoc_text_lexer.mll
@@ -671,9 +671,11 @@ rule main = parse
| end_shortcut_list
{
incr_cpts lexbuf ;
- lexbuf.Lexing.lex_abs_pos <- lexbuf.Lexing.lex_abs_pos - 1;
lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_curr_pos - 1;
- lexbuf.Lexing.lex_last_pos <- lexbuf.Lexing.lex_last_pos - 1;
+ lexbuf.Lexing.lex_curr_p <-
+ { lexbuf.Lexing.lex_curr_p with
+ pos_cnum = lexbuf.Lexing.lex_curr_p.pos_cnum - 1 ;
+ } ;
decr line_number ;
if !shortcut_list_mode then
(