diff options
| author | schinz <schinz@epfl.ch> | 2005-04-20 08:15:22 +0000 |
|---|---|---|
| committer | schinz <schinz@epfl.ch> | 2005-04-20 08:15:22 +0000 |
| commit | 250399c9e174f0cd6e74074bfa13ab284dac964c (patch) | |
| tree | 2ad41cf3496a89d365d1bb2e97b59d94a3de707e | |
| parent | b0876f8e3527ad574471c94ef0978c1b76227434 (diff) | |
| download | scala-250399c9e174f0cd6e74074bfa13ab284dac964c.tar.gz scala-250399c9e174f0cd6e74074bfa13ab284dac964c.tar.bz2 scala-250399c9e174f0cd6e74074bfa13ab284dac964c.zip | |
- bug fix: correct the use of Character.getType
| -rw-r--r-- | sources/scala/io/Source.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/io/Source.scala b/sources/scala/io/Source.scala index 507088556b..65fced08e6 100644 --- a/sources/scala/io/Source.scala +++ b/sources/scala/io/Source.scala @@ -134,7 +134,7 @@ abstract class Source extends Iterator[Char] { var i = 0; while( it.hasNext && i < (line-1) - && Character.LINE_SEPARATOR != it.next.getType ) { + && Character.LINE_SEPARATOR != Character.getType(it.next) ) { i = i + 1 } if(!it.hasNext) { // this should not happen |