diff options
| author | michelou <michelou@epfl.ch> | 2006-09-22 09:43:08 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2006-09-22 09:43:08 +0000 |
| commit | 04871d8ee1a9c12226d803adb0aee68866e9b497 (patch) | |
| tree | 951165e3aa7a08fb749e80f4c19d168ea498fcdd /src/library | |
| parent | 427c400d0ef5db083638c698280e8d16e8e1c100 (diff) | |
| download | scala-04871d8ee1a9c12226d803adb0aee68866e9b497.tar.gz scala-04871d8ee1a9c12226d803adb0aee68866e9b497.tar.bz2 scala-04871d8ee1a9c12226d803adb0aee68866e9b497.zip | |
reverted name change in xml/Document.scala
Diffstat (limited to 'src/library')
| -rw-r--r-- | src/library/scala/xml/Document.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/library/scala/xml/Document.scala b/src/library/scala/xml/Document.scala index 8935e0bce4..40b97ae20f 100644 --- a/src/library/scala/xml/Document.scala +++ b/src/library/scala/xml/Document.scala @@ -36,20 +36,20 @@ class Document extends NodeSeq with pull.XMLEvent { var docElem: Node = _ /** The dtd that comes with the document, if any */ - var docDTD: dtd.DTD = _ + var dtd: scala.xml.dtd.DTD = _ /** An unordered set of notation information items, one for each notation * declared in the DTD. If any notation is multiply declared, this property * has no value. */ - def notations: Seq[dtd.NotationDecl] = - docDTD.notations + def notations: Seq[scala.xml.dtd.NotationDecl] = + dtd.notations /** An unordered set of unparsed entity information items, one for each * unparsed entity declared in the DTD. */ - def unparsedEntities: Seq[dtd.EntityDecl] = - docDTD.unparsedEntities + def unparsedEntities: Seq[scala.xml.dtd.EntityDecl] = + dtd.unparsedEntities /** The base URI of the document entity. */ var baseURI: String = _ |