diff options
author | sbucher <sbucher@epfl.ch> | 2004-08-19 13:45:55 +0000 |
---|---|---|
committer | sbucher <sbucher@epfl.ch> | 2004-08-19 13:45:55 +0000 |
commit | 9802b472cca1438985cc2a7b5bb72f7e21f6231a (patch) | |
tree | 7a46e2329718a8850cae6775484e704b831e0b79 | |
parent | c7ccac906aac92d890560756c61f1fde860264b4 (diff) | |
download | scala-9802b472cca1438985cc2a7b5bb72f7e21f6231a.tar.gz scala-9802b472cca1438985cc2a7b5bb72f7e21f6231a.tar.bz2 scala-9802b472cca1438985cc2a7b5bb72f7e21f6231a.zip |
fixed bug in attribute parsing
-rw-r--r-- | sources/scala/xml/parsing/MarkupParser.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/xml/parsing/MarkupParser.scala b/sources/scala/xml/parsing/MarkupParser.scala index 425fa6665e..350bb3e9bd 100644 --- a/sources/scala/xml/parsing/MarkupParser.scala +++ b/sources/scala/xml/parsing/MarkupParser.scala @@ -140,7 +140,7 @@ abstract class MarkupParser[MarkupType] { val uri = handle.namespace(pref); val qkey = Pair(uri, key); // well-formedness constraint: unique attribute names - if (aMap.contains(qkey)) + if (aMap1.contains(qkey)) reportSyntaxError( "attribute " + key + " may only be defined once" ); aMap1.update(qkey, handle.attribute(pos, uri, key, value)); } |