RelaxNG/publiset.rnc
changeset 400 4eeecb8b9f0b
parent 399 2d5292b74e59
child 405 01dc5329a485
--- a/RelaxNG/publiset.rnc	ven. nov. 20 12:25:50 2015 +0100
+++ b/RelaxNG/publiset.rnc	ven. nov. 20 12:30:26 2015 +0100
@@ -293,10 +293,10 @@
    path.attribute?
  & (xpath.attribute | xslt.attribute)?
  & remap.attributes
- & argument.attribute
+ & argument.attribute?
 selection.division.attributes =
    path.attribute?
- & argument.attribute
+ & argument.attribute?
 
 composition.division.content =
    composition.head?,