diff options
Diffstat (limited to 'result/VC/ElementValid4.rdr')
-rw-r--r-- | result/VC/ElementValid4.rdr | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/result/VC/ElementValid4.rdr b/result/VC/ElementValid4.rdr deleted file mode 100644 index 289a527..0000000 --- a/result/VC/ElementValid4.rdr +++ /dev/null @@ -1,6 +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> - ^ -./test/VC/ElementValid4:8: element doc: validity error : Element c is not declared in doc list of possible children - -^ |