diff options
| author | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-05-28 12:51:05 +0200 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-05-28 15:48:24 +0200 |
| commit | 32fde82fb58df3686af50c272d113f31f07a60d9 (patch) | |
| tree | 77de003bf0ce878ad3f934086bcb95151d84ec54 /src/library/scala/xml | |
| parent | ac3fdfddb64a93a17f414e34692b2fd86e7f4746 (diff) | |
| download | scala-32fde82fb58df3686af50c272d113f31f07a60d9.tar.gz scala-32fde82fb58df3686af50c272d113f31f07a60d9.tar.bz2 scala-32fde82fb58df3686af50c272d113f31f07a60d9.zip | |
fix t5843
Diffstat (limited to 'src/library/scala/xml')
| -rw-r--r-- | src/library/scala/xml/Attribute.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/library/scala/xml/Attribute.scala b/src/library/scala/xml/Attribute.scala index 6b68e97412..4c50b15e53 100644 --- a/src/library/scala/xml/Attribute.scala +++ b/src/library/scala/xml/Attribute.scala @@ -61,8 +61,8 @@ abstract trait Attribute extends MetaData { else copy(next remove key) def remove(namespace: String, scope: NamespaceBinding, key: String) = - if (isPrefixed && this.key == key && (scope getURI pre) == namespace) next - else next.remove(namespace, scope, key) + if (this.key == key && (scope getURI pre) == namespace) next + else copy(next.remove(namespace, scope, key)) def isPrefixed: Boolean = pre != null |