diff options
Diffstat (limited to 'parsing/lexer.mll')
| -rw-r--r-- | parsing/lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/lexer.mll b/parsing/lexer.mll index eae04060b..b2ab8dc5b 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -262,7 +262,7 @@ and comment = parse and string = parse '"' { () } - | '\\' ("\010" | "\013" | "\010\013") [' ' '\009'] * + | '\\' ("\010" | "\013" | "\013\010") [' ' '\009'] * { string lexbuf } | '\\' ['\\' '"' 'n' 't' 'b' 'r'] { store_string_char(char_for_backslash(Lexing.lexeme_char lexbuf 1)); |