# HG changeset patch
# User Patrick PIERRE
# Date 1448019026 -3600
# Node ID 4eeecb8b9f0bfee29a07ea665d7f331b71aec2c9
# Parent  2d5292b74e5999a372cb09b6a2ce6c6f508c0454
Ajout de l'attribut argument

diff -r 2d5292b74e59 -r 4eeecb8b9f0b RelaxNG/publiset.rnc
--- 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?,