aboutsummaryrefslogtreecommitdiffstats
path: root/result/VC/UniqueElementTypeDeclaration2.rdr
diff options
context:
space:
mode:
Diffstat (limited to 'result/VC/UniqueElementTypeDeclaration2.rdr')
-rw-r--r--result/VC/UniqueElementTypeDeclaration2.rdr3
1 files changed, 3 insertions, 0 deletions
diff --git a/result/VC/UniqueElementTypeDeclaration2.rdr b/result/VC/UniqueElementTypeDeclaration2.rdr
new file mode 100644
index 00000000..c328d920
--- /dev/null
+++ b/result/VC/UniqueElementTypeDeclaration2.rdr
@@ -0,0 +1,3 @@
+./test/VC/UniqueElementTypeDeclaration2:6: validity error : Redefinition of element a
+<!ELEMENT a (#PCDATA | b | c)*>
+ ^