diff options
Diffstat (limited to 'lib/xml_parser.ml')
| -rw-r--r-- | lib/xml_parser.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/xml_parser.ml b/lib/xml_parser.ml index 342ce0a750..2809296e1a 100644 --- a/lib/xml_parser.ml +++ b/lib/xml_parser.ml @@ -124,8 +124,7 @@ let rec read_node s = | t -> push t s; raise NoMoreData -and - read_elems tag s = +and read_elems tag s = let elems = ref [] in (try while true do |