6baed57
1
2
3
4
test/VC/dtds/a.dtd:1: validity error : Redefinition of element a <!ELEMENT a (#PCDATA | b | c)*> ^
