diff options
| author | Burak Emir <emir@epfl.ch> | 2005-11-03 23:58:25 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2005-11-03 23:58:25 +0000 |
| commit | 387dd38c1ed225aefa30720bc43d39b3e4ea80ad (patch) | |
| tree | 94feadfc5913a24551df3d0e4fe8e75d769f6b37 | |
| parent | 65814d93acba00b256c0eae47d780a78b7e3a06a (diff) | |
| download | scala-387dd38c1ed225aefa30720bc43d39b3e4ea80ad.tar.gz scala-387dd38c1ed225aefa30720bc43d39b3e4ea80ad.tar.bz2 scala-387dd38c1ed225aefa30720bc43d39b3e4ea80ad.zip | |
more types
| -rw-r--r-- | sources/scala/xml/Document.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/xml/Document.scala b/sources/scala/xml/Document.scala index a19a2316f3..cf34721a43 100644 --- a/sources/scala/xml/Document.scala +++ b/sources/scala/xml/Document.scala @@ -69,6 +69,6 @@ class Document extends NodeSeq { // methods for NodeSeq - def theSeq = docElem; + def theSeq: Seq[Node] = this.docElem ; } |