diff options
Diffstat (limited to 'result/VC/ElementValid8')
| -rw-r--r-- | result/VC/ElementValid8 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/result/VC/ElementValid8 b/result/VC/ElementValid8 new file mode 100644 index 0000000..f1b0dad --- /dev/null +++ b/result/VC/ElementValid8 @@ -0,0 +1,3 @@ +./test/VC/ElementValid8:7: validity error : Content model of doc is not determinist: ((a , b) | (a , c)) +<doc><a/><c> doc is non-deterministic </c></doc> + ^ |