diff options
| author | Paul Phillips <paulp@improving.org> | 2009-05-06 19:58:09 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2009-05-06 19:58:09 +0000 |
| commit | c7a419a7111117843f2ade7f1b0a9ea9e5561bc5 (patch) | |
| tree | 94ee5bd064a5b95b3b3d7a0cd2938b656220d42a /src/partest | |
| parent | 98be3213152ccec134da3e7856b8096beafcc6d8 (diff) | |
| download | scala-c7a419a7111117843f2ade7f1b0a9ea9e5561bc5.tar.gz scala-c7a419a7111117843f2ade7f1b0a9ea9e5561bc5.tar.bz2 scala-c7a419a7111117843f2ade7f1b0a9ea9e5561bc5.zip | |
tweak to compile under java 6
Diffstat (limited to 'src/partest')
| -rw-r--r-- | src/partest/scala/tools/partest/nest/Worker.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/partest/scala/tools/partest/nest/Worker.scala b/src/partest/scala/tools/partest/nest/Worker.scala index 3f449b3827..badeae6b21 100644 --- a/src/partest/scala/tools/partest/nest/Worker.scala +++ b/src/partest/scala/tools/partest/nest/Worker.scala @@ -565,7 +565,7 @@ class Worker(val fileManager: FileManager) extends Actor { val settings = new Settings(error) settings.sourcepath.value = sourcepath settings.classpath.value = fileManager.CLASSPATH - reporter = new ConsoleReporter(settings, Console.in, logConsoleWriter) + reporter = new ConsoleReporter(settings, scala.Console.in, logConsoleWriter) val command = new CompilerCommand(argList, settings, error, false) object compiler extends Global(command.settings, reporter) |