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