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