diff options
Diffstat (limited to 'src/library/scala/xml/dtd/ExternalID.scala')
| -rw-r--r-- | src/library/scala/xml/dtd/ExternalID.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/xml/dtd/ExternalID.scala b/src/library/scala/xml/dtd/ExternalID.scala index 5a1b5d1a19..880633d860 100644 --- a/src/library/scala/xml/dtd/ExternalID.scala +++ b/src/library/scala/xml/dtd/ExternalID.scala @@ -15,7 +15,7 @@ package dtd * * @author Burak Emir */ -abstract class ExternalID extends parsing.TokenTests { +sealed abstract class ExternalID extends parsing.TokenTests { def quoted(s: String) = { val c = if (s contains '"') '\'' else '"' c + s + c |