diff options
Diffstat (limited to 'result/relaxng/tutor7_3_5.err')
| -rw-r--r-- | result/relaxng/tutor7_3_5.err | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/result/relaxng/tutor7_3_5.err b/result/relaxng/tutor7_3_5.err index dea493fd..3a8a7dbb 100644 --- a/result/relaxng/tutor7_3_5.err +++ b/result/relaxng/tutor7_3_5.err @@ -1,3 +1,3 @@ -error detected at relaxng.c:4164 -error detected at relaxng.c:5255 -error detected at relaxng.c:5053 +error detected at relaxng.c:4196 +error detected at relaxng.c:5360 +error detected at relaxng.c:5143 |