--- lexing.mli.orig     2005-12-21 01:56:54.000000000 -0800
+++ lexing.mli  2005-12-21 02:28:59.000000000 -0800
@@ -63,7 +63,8 @@
    of [lex_curr_p] by updating it with the number of characters read
    since the start of the [lexbuf].  For the other fields to be
    accurate, they must be initialised before the first use of the
-   lexbuf, and updated by the lexer actions.
+   lexbuf, and updated by the lexer actions.  (See also 
+   [Lexing.start_next_line].)
  *)
 
 val from_channel : in_channel -> lexbuf
@@ -124,6 +125,14 @@
 (** Like [lexeme_end], but return a complete [position] instead
     of an offset. *)
 
+val start_next_line : lexbuf -> unit
+(** [Lexing.start_next_line lexbuf] updates the [position] of
+   the lexbuf by incrementing the [pos_lnum] field of [lex_curr_pos]
+   by one and setting the [pos_bol] field to the current character.
+   Calling this function immediately after lexing an end-of-line is a
+   simple way to keep the position information up-to-date in your 
+   lexer. *)
+
 (** {6 Miscellaneous functions} *)
 
 val flush_input : lexbuf -> unit
--- lexing.ml.orig      2005-12-21 01:58:00.000000000 -0800
+++ lexing.ml   2005-12-21 01:58:36.000000000 -0800
@@ -220,6 +220,13 @@
 let lexeme_start_p lexbuf = lexbuf.lex_start_p;;
 let lexeme_end_p lexbuf = lexbuf.lex_curr_p;;
 
+let start_next_line lexbuf =
+   let lcp = lexbuf.lex_curr_p in
+   lexbuf.lex_curr_p <- { 
+      lcp with
+      pos_lnum = lcp.pos_lnum + 1;
+      pos_bol = lcp.pos_cnum; }
+
 
 (* Discard data left in lexer buffer. *)