X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FtagSet.ml;h=fd3a0fe23ff787472698a946b9567655fffeabda;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=a7ebbd19ff3112843fd6864a6fdd8eb99474c772;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;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 =