diff options
Diffstat (limited to 'lib/xml_parser.ml')
-rw-r--r-- | lib/xml_parser.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/xml_parser.ml b/lib/xml_parser.ml index 6207763cd..783f5c91b 100644 --- a/lib/xml_parser.ml +++ b/lib/xml_parser.ml @@ -98,7 +98,6 @@ let make source = } let check_eof p v = p.check_eof <- v -let concat_pcdata p v = p.concat_pcdata <- v let pop s = try |