diff options
Diffstat (limited to 'result/VC/ElementValid4.rdr')
-rw-r--r-- | result/VC/ElementValid4.rdr | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/result/VC/ElementValid4.rdr b/result/VC/ElementValid4.rdr new file mode 100644 index 00000000..289a527e --- /dev/null +++ b/result/VC/ElementValid4.rdr @@ -0,0 +1,6 @@ +./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 + +^ |