diff options
Diffstat (limited to 'result/VC/Enumeration.rdr')
| -rw-r--r-- | result/VC/Enumeration.rdr | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/result/VC/Enumeration.rdr b/result/VC/Enumeration.rdr deleted file mode 100644 index 30896fc..0000000 --- a/result/VC/Enumeration.rdr +++ /dev/null @@ -1,3 +0,0 @@ -./test/VC/Enumeration:5: element doc: validity error : Value "v4" for attribute val of doc is not among the enumerated set -<doc val="v4"></doc> - ^ |