diff options
Diffstat (limited to 'otherlibs/labltk/compiler/lexer.mll')
| -rw-r--r-- | otherlibs/labltk/compiler/lexer.mll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/compiler/lexer.mll b/otherlibs/labltk/compiler/lexer.mll index 5c04dc674..c65c9a604 100644 --- a/otherlibs/labltk/compiler/lexer.mll +++ b/otherlibs/labltk/compiler/lexer.mll @@ -162,8 +162,8 @@ and comment = parse and linenum = parse | ['0'-'9']+ { let next_line = int_of_string (Lexing.lexeme lexbuf) in - current_line := next_line - 1 - } + current_line := next_line - 1 + } | _ { raise (Lexical_error("illegal ##line directive: no line number"))} and line = parse |