# HG changeset patch
# User Patrick PIERRE
# Date 1448018750 -3600
# Node ID 2d5292b74e5999a372cb09b6a2ce6c6f508c0454
# Parent  049ab5fcca818880e461d4f77d9cd2cec3e78153
Ajout de l'attribut argument

diff -r 049ab5fcca81 -r 2d5292b74e59 RelaxNG/publiset.rnc
--- a/RelaxNG/publiset.rnc	sam. août 29 10:55:13 2015 +0200
+++ b/RelaxNG/publiset.rnc	ven. nov. 20 12:25:50 2015 +0100
@@ -293,8 +293,10 @@
    path.attribute?
  & (xpath.attribute | xslt.attribute)?
  & remap.attributes
+ & argument.attribute
 selection.division.attributes =
    path.attribute?
+ & argument.attribute
 
 composition.division.content =
    composition.head?,