diff options
Diffstat (limited to 'lib/xml_lexer.mll')
-rw-r--r-- | lib/xml_lexer.mll | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/xml_lexer.mll b/lib/xml_lexer.mll index 2be4bf98..5b06e720 100644 --- a/lib/xml_lexer.mll +++ b/lib/xml_lexer.mll @@ -188,6 +188,12 @@ and header = parse { header lexbuf } and pcdata = parse + | newline | (newline break) | break + { + Buffer.add_char tmp '\n'; + newline lexbuf; + pcdata lexbuf + } | pcchar+ { Buffer.add_string tmp (lexeme lexbuf); |