diff options
Diffstat (limited to 'gnu/xml/stream/XMLParser.java')
| -rw-r--r-- | gnu/xml/stream/XMLParser.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/xml/stream/XMLParser.java b/gnu/xml/stream/XMLParser.java index 4240d8590..6f10b9303 100644 --- a/gnu/xml/stream/XMLParser.java +++ b/gnu/xml/stream/XMLParser.java @@ -1357,7 +1357,7 @@ public class XMLParser throw new EOFException(); else if (input.xml11) { - if (!isXML11Char(c)) + if (!isXML11Char(c) || isXML11RestrictedChar(c)) error("illegal XML 1.1 character", "U+" + Integer.toHexString(c)); } @@ -3097,7 +3097,7 @@ public class XMLParser default: if (input.xml11) { - if (!isXML11Char(c)) + if (!isXML11Char(c) || isXML11RestrictedChar(c)) error("illegal XML 1.1 character", "U+" + Integer.toHexString(c)); } |