src/Tools/try.ML

--- a/src/Tools/try.ML	Tue Dec 23 16:00:38 2014 +0100
+++ b/src/Tools/try.ML	Tue Dec 23 20:46:42 2014 +0100
@@ -111,7 +111,7 @@
             in
               if auto_time_limit > 0.0 then
                 (case TimeLimit.timeLimit (seconds auto_time_limit) (fn () => tool true state) () of
-                  (true, (_, outcome)) => List.app writeln outcome
+                  (true, (_, outcome)) => List.app Output.information outcome
                 | _ => ())
               else ()
             end handle exn => if Exn.is_interrupt exn then reraise exn else ()}