author | wenzelm |
Mon, 11 Jan 2010 22:01:01 +0100 | |
changeset 34320 | c1509b9d624f |
parent 34319 | f879b649ac4c |
child 34872 | 502f90967483 |
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 }