diff -r d8082f1cd418 -r db9645e39ec0 RelaxNG/Examples/Documents/torture_test.xml --- a/RelaxNG/Examples/Documents/torture_test.xml ven. févr. 07 10:03:22 2014 +0100 +++ b/RelaxNG/Examples/Documents/torture_test.xml sam. févr. 08 02:15:14 2014 +0100 @@ -770,6 +770,7 @@