diff options
Diffstat (limited to 'result/valid/id1.xml')
-rw-r--r-- | result/valid/id1.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/result/valid/id1.xml b/result/valid/id1.xml deleted file mode 100644 index 4f0b9f7..0000000 --- a/result/valid/id1.xml +++ /dev/null @@ -1,13 +0,0 @@ -<?xml version="1.0"?> -<!DOCTYPE doc [ -<!ELEMENT doc (src | dest)*> -<!ELEMENT src EMPTY> -<!ELEMENT dest EMPTY> -<!ATTLIST src ref IDREF #IMPLIED> -<!ATTLIST dest id ID #IMPLIED> -]> -<doc> - <src ref="foo"/> - <dest id="foo"/> - <src ref="foo"/> -</doc> |