X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftree.ml;h=587e649261b305a0d3d5a7c9aae954eb703a9713;hb=071e25c710e9a48116f66ddf51bfdca25e20502b;hp=e1374a76e3667bb8b870d09cbcadea2f8a1fef57;hpb=6df6ad6cf27e57872bd5891b49354acb0a5ce6a4;p=SXSI%2Fxpathcomp.git 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