diff options
author | Paul Phillips <paulp@improving.org> | 2009-04-30 21:04:44 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2009-04-30 21:04:44 +0000 |
commit | 8a9a104f79ba2edbb91c27f6eb3bdb98d510fbad (patch) | |
tree | d38107caaf36d1fbbcc8029bcf4e7ef27448a5f2 /src | |
parent | e4b32dab97e7487198bb5dd2be38668f77584504 (diff) | |
download | scala-8a9a104f79ba2edbb91c27f6eb3bdb98d510fbad.tar.gz scala-8a9a104f79ba2edbb91c27f6eb3bdb98d510fbad.tar.bz2 scala-8a9a104f79ba2edbb91c27f6eb3bdb98d510fbad.zip |
restoring unwisely removed toString variant.
Diffstat (limited to 'src')
-rw-r--r-- | src/library/scala/xml/dtd/ExternalID.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/library/scala/xml/dtd/ExternalID.scala b/src/library/scala/xml/dtd/ExternalID.scala index dc9c2e5afb..75c4f39058 100644 --- a/src/library/scala/xml/dtd/ExternalID.scala +++ b/src/library/scala/xml/dtd/ExternalID.scala @@ -32,6 +32,8 @@ abstract class ExternalID extends parsing.TokenTests else "PUBLIC " + quotedPublicLiteral + (if (systemId == null) "" else " " + quotedSystemLiteral) } + def toString(sb: StringBuilder): StringBuilder = + sb.append(this.toString()) def systemId: String def publicId: String |