From 3878364d77115ce1ed2839cc631a9f73001bc438 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Wed, 22 Feb 2012 10:17:56 +0100 Subject: [PATCH] Fix indentation issues. --- src/tree.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/tree.ml b/src/tree.ml index e1374a7..587e649 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -35,11 +35,11 @@ let tag t = (); fun s -> let to_string d = (); fun t -> - if t == Tag.pcdata then "<$>" - else if t == Tag.attribute_data then "<@$>" - else if t == Tag.attribute then "<@>" - else if t == Tag.nullt then "" - else tag_name d t + if t == Tag.pcdata then "<$>" + else if t == Tag.attribute_data then "<@$>" + else if t == Tag.attribute then "<@>" + else if t == Tag.nullt then "" + else tag_name d t let translate x = x -- 2.17.1