diff -r 8c5ff445eea5 -r c7a9dc57f3e4 RelaxNG/Examples/Documents/torture_test.xml --- a/RelaxNG/Examples/Documents/torture_test.xml mer. juil. 03 16:25:08 2013 +0200 +++ b/RelaxNG/Examples/Documents/torture_test.xml jeu. juil. 11 11:13:02 2013 +0200 @@ -729,7 +729,7 @@ - +