From 29b620a91a7ee935de4e9a046340a758304e407d Mon Sep 17 00:00:00 2001 From: Regis-Gianas Date: Tue, 4 Nov 2014 11:41:18 +0100 Subject: lib/Xml_parser: Cosmetics. --- lib/xml_parser.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/xml_parser.ml') 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 -- cgit v1.2.3