From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 1 Mar 2012 13:31:13 +0000 (+0100)
Subject: Add text-attribute tags to the star tagset.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=feae5b72d47e0ae245145d401ba73804ce18fc8c;p=SXSI%2Fxpathcomp.git

Add text-attribute tags to the star tagset.
---

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 =