diff options
Diffstat (limited to 'result/VC/ElementValid4')
| -rw-r--r-- | result/VC/ElementValid4 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/result/VC/ElementValid4 b/result/VC/ElementValid4 deleted file mode 100644 index 4791db5..0000000 --- a/result/VC/ElementValid4 +++ /dev/null @@ -1,3 +0,0 @@ -./test/VC/ElementValid4:7: element doc: validity error : Element c is not declared in doc list of possible children -<doc> This <b>seems</b> Ok <a/> but this <c>was not declared</c></doc> - ^ |