changeset 56831 | e3ccf0809d51 |
parent 56824 | 5ae68f53b7c2 |
child 56837 | 5a598f1eecfd |
--- a/src/Pure/Tools/build.scala Fri May 02 19:51:40 2014 +0200 +++ b/src/Pure/Tools/build.scala Fri May 02 20:01:45 2014 +0200 @@ -32,7 +32,7 @@ class Console_Progress(verbose: Boolean) extends Progress { - override def echo(msg: String) { System.out.println(msg) } + override def echo(msg: String) { Console.println(msg) } override def theory(session: String, theory: String): Unit = if (verbose) echo(session + ": theory " + theory)