X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FtagSet.ml;fp=src%2FtagSet.ml;h=fd3a0fe23ff787472698a946b9567655fffeabda;hb=feae5b72d47e0ae245145d401ba73804ce18fc8c;hp=a7ebbd19ff3112843fd6864a6fdd8eb99474c772;hpb=3e6b06512ddd85717555d6e3545f712746abfe82;p=SXSI%2Fxpathcomp.git diff --git a/src/tagSet.ml b/src/tagSet.ml index a7ebbd1..fd3a0fe 100644 --- a/src/tagSet.ml +++ b/src/tagSet.ml @@ -12,7 +12,7 @@ include M let tag t = singleton t let pcdata = singleton Tag.pcdata let attribute = singleton Tag.attribute -let star = diff any (cup pcdata attribute) +let star = diff any (add Tag.attribute_data (cup pcdata attribute)) let node = neg attribute let print ppf t =