1.1 --- a/src/Pure/library.scala	Mon Jan 11 21:37:48 2010 +0100
     1.2 +++ b/src/Pure/library.scala	Mon Jan 11 22:01:01 2010 +0100
     1.3 @@ -61,7 +61,7 @@
     1.4      val result = Exn.capture(e)
     1.5      val stop = System.currentTimeMillis()
     1.6      System.err.println(
     1.7 -      (if (message.isEmpty) "" else message + " ") + (stop - start) + "ms elapsed time")
     1.8 +      (if (message.isEmpty) "" else message + ": ") + (stop - start) + "ms elapsed time")
     1.9      Exn.release(result)
    1.10    }
    1.11  }