From 250399c9e174f0cd6e74074bfa13ab284dac964c Mon Sep 17 00:00:00 2001
From: schinz <schinz@epfl.ch>
Date: Wed, 20 Apr 2005 08:15:22 +0000
Subject: - bug fix: correct the use of Character.getType

---
 sources/scala/io/Source.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sources')

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
-- 
cgit v1.2.3