src/Pure/Tools/build.scala
changeset 55618 995162143ef4
parent 55488 60c159d490a2
child 56208 06cc31dff138
     1.1 --- a/src/Pure/Tools/build.scala	Thu Feb 20 14:17:28 2014 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Feb 20 14:36:17 2014 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  
     1.5    class Console_Progress(verbose: Boolean) extends Progress
     1.6    {
     1.7 -    override def echo(msg: String) { java.lang.System.out.println(msg) }
     1.8 +    override def echo(msg: String) { System.out.println(msg) }
     1.9      override def theory(session: String, theory: String): Unit =
    1.10        if (verbose) echo(session + ": theory " + theory)
    1.11  
    1.12 @@ -744,7 +744,7 @@
    1.13  
    1.14        def ignore_error(msg: String): (List[Properties.T], Double) =
    1.15        {
    1.16 -        java.lang.System.err.println("### Ignoring bad log file: " + path +
    1.17 +        System.err.println("### Ignoring bad log file: " + path +
    1.18            (if (msg == "") "" else "\n" + msg))
    1.19          (Nil, 0.0)
    1.20        }