From feae5b72d47e0ae245145d401ba73804ce18fc8c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 1 Mar 2012 14:31:13 +0100
Subject: [PATCH] Add text-attribute tags to the star tagset.

---
 src/tagSet.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 =
-- 
2.17.1