src/Pure/System/progress.scala
changeset 67178 70576478bda9
parent 65930 9a28fc03c3fe
child 67880 e59220a075de
     1.1 --- a/src/Pure/System/progress.scala	Sun Dec 10 18:43:08 2017 +0100
     1.2 +++ b/src/Pure/System/progress.scala	Sun Dec 10 20:29:00 2017 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4  {
     1.5    override def echo(msg: String)
     1.6    {
     1.7 -    if (stderr) Console.err.println(msg) else Console.println(msg)
     1.8 +    Output.writeln(msg, stdout = !stderr)
     1.9    }
    1.10  
    1.11    override def theory(session: String, theory: String): Unit =