projects
/
SXSI
/
xpathcomp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
3e6b065
)
Add text-attribute tags to the star tagset.
author
Kim Nguyễn
<kn@lri.fr>
Thu, 1 Mar 2012 13:31:13 +0000
(14:31 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Thu, 1 Mar 2012 13:31:13 +0000
(14:31 +0100)
src/tagSet.ml
patch
|
blob
|
history
diff --git
a/src/tagSet.ml
b/src/tagSet.ml
index
a7ebbd1
..
fd3a0fe
100644
(file)
--- 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 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 =
let node = neg attribute
let print ppf t =