summaryrefslogtreecommitdiff
path: root/result/VC/ElementValid8
diff options
context:
space:
mode:
Diffstat (limited to 'result/VC/ElementValid8')
-rw-r--r--result/VC/ElementValid83
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>
+ ^