diff options
Diffstat (limited to 'result/VC/ElementValid2.rdr')
-rw-r--r-- | result/VC/ElementValid2.rdr | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/result/VC/ElementValid2.rdr b/result/VC/ElementValid2.rdr deleted file mode 100644 index cae331b..0000000 --- a/result/VC/ElementValid2.rdr +++ /dev/null @@ -1,6 +0,0 @@ -./test/VC/ElementValid2:4: element p: validity error : No declaration for element p -<doc><p/></doc> - ^ -./test/VC/ElementValid2:5: element p: validity error : No declaration for element p - -^ |