--- a/src/HOL/Tools/ATP/async_manager.ML	Thu Aug 19 11:30:32 2010 +0200
+++ b/src/HOL/Tools/ATP/async_manager.ML	Thu Aug 19 11:30:48 2010 +0200
@@ -72,8 +72,8 @@
           val message' =
             desc ^ "\n" ^ message ^
             (if verbose then
-               "Total time: " ^ Int.toString (Time.toMilliseconds
-                                          (Time.- (now, birth_time))) ^ " ms.\n"
+               "\nTotal time: " ^ Int.toString (Time.toMilliseconds
+                                            (Time.- (now, birth_time))) ^ " ms."
              else
                "")
           val messages' = (tool, message') :: messages;