| Element | Attribute ->
pp fmt "%s" begin
if QNameSet.is_finite ts then
- QName.to_string (QName.remove_prefix (QNameSet.choose ts))
+ QName.to_string (QNameSet.choose ts)
else "*"
end
| Comment -> pp fmt "%s" "comment()"
pp fmt "processing-instruction(%s)"
begin
if ts == star then ""
- else "\"" ^ (QName.to_string (QName.remove_prefix (QNameSet.choose ts))) ^ "\""
+ else "\"" ^ (QName.to_string (QNameSet.choose ts)) ^ "\""
end
| Node -> pp fmt "%s" "node()"
| Document -> pp fmt "%s" "<DOCUMENT>"