diff options
author | Burak Emir <emir@epfl.ch> | 2006-04-25 15:16:33 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2006-04-25 15:16:33 +0000 |
commit | 2313191913d6d0af36eb397c8882ff3953fa9f94 (patch) | |
tree | 04c03a76c110e0b1b4abbe92c5e989166d03dabc /src/library | |
parent | 84d3c4385eba7afecdb89a52d4162adc09d9c4e3 (diff) | |
download | scala-2313191913d6d0af36eb397c8882ff3953fa9f94.tar.gz scala-2313191913d6d0af36eb397c8882ff3953fa9f94.tar.bz2 scala-2313191913d6d0af36eb397c8882ff3953fa9f94.zip |
uncommented override var
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/xml/parsing/ExternalSources.scala | 2 | ||||
-rw-r--r-- | src/library/scala/xml/parsing/MarkupParser.scala | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/xml/parsing/ExternalSources.scala b/src/library/scala/xml/parsing/ExternalSources.scala index 7282fef3fc..742b7d43ad 100644 --- a/src/library/scala/xml/parsing/ExternalSources.scala +++ b/src/library/scala/xml/parsing/ExternalSources.scala @@ -53,7 +53,7 @@ trait ExternalSources requires (ExternalSources with MarkupParser with MarkupHan def reset: Source = new MyClass; - override var descr = url.toExternalForm(); + /*override var*/ descr = url.toExternalForm(); } return new MyClass; diff --git a/src/library/scala/xml/parsing/MarkupParser.scala b/src/library/scala/xml/parsing/MarkupParser.scala index 688740315b..7206bcc475 100644 --- a/src/library/scala/xml/parsing/MarkupParser.scala +++ b/src/library/scala/xml/parsing/MarkupParser.scala @@ -647,8 +647,8 @@ trait MarkupParser requires (MarkupParser with MarkupHandler) extends AnyRef wit } xToken('>'); this.dtd = new DTD { - override var externalID = extID; - override val decls = handle.decls.reverse; + /*override var*/ externalID = extID; + /*override val */decls = handle.decls.reverse; } //this.dtd.initializeEntities(); handle.endDTD(n); |