diff options
author | Paul Phillips <paulp@improving.org> | 2010-10-20 07:45:21 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-10-20 07:45:21 +0000 |
commit | 842ec522a2b8bb4fa9161c595f36efe502b9a1e0 (patch) | |
tree | 93e0a5146944d70dced3a775e7e6530c7a395483 /src | |
parent | 9066ffa93eee761b2bfdb0953d9fe695402de425 (diff) | |
download | scala-842ec522a2b8bb4fa9161c595f36efe502b9a1e0.tar.gz scala-842ec522a2b8bb4fa9161c595f36efe502b9a1e0.tar.bz2 scala-842ec522a2b8bb4fa9161c595f36efe502b9a1e0.zip |
Fix involving xml equality, contributed by mark...
Fix involving xml equality, contributed by mark harrah. Closes #3886, no
review.
Diffstat (limited to 'src')
-rw-r--r-- | src/library/scala/xml/Attribute.scala | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/library/scala/xml/Attribute.scala b/src/library/scala/xml/Attribute.scala index 17780fc024..2bb348c1ca 100644 --- a/src/library/scala/xml/Attribute.scala +++ b/src/library/scala/xml/Attribute.scala @@ -39,8 +39,7 @@ object Attribute { } } -abstract trait Attribute extends MetaData -{ +abstract trait Attribute extends MetaData { def pre: String // will be null if unprefixed val key: String val value: Seq[Node] @@ -70,7 +69,7 @@ abstract trait Attribute extends MetaData case _ => false } override def strict_==(other: Equality) = other match { - case x: Attribute => (pre == x.pre) && (key == x.key) && (value sameElements x.value) + case x: Attribute => (pre == x.pre) && (key == x.key) && (value sameElements x.value) && (next == x.next) case _ => false } override def basisForHashCode = List(pre, key, value) |