diff options
author | Stephane Glondu <steph@glondu.net> | 2012-08-20 18:27:01 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-08-20 18:27:01 +0200 |
commit | e0d682ec25282a348d35c5b169abafec48555690 (patch) | |
tree | 1a46f0142a85df553388c932110793881f3af52f /lib/xml_lexer.mll | |
parent | 86535d84cc3cffeee1dcd8545343f234e7285530 (diff) |
Imported Upstream version 8.4dfsgupstream/8.4dfsg
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); |