src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Mon Sep 21 14:56:10 2015 +0200
+++ b/src/Pure/PIDE/command.ML	Mon Sep 21 14:56:55 2015 +0200
@@ -359,7 +359,9 @@
     (fn {keywords, command_name, ...} =>
       if Keyword.is_printed keywords command_name then
         SOME {delay = NONE, pri = Task_Queue.urgent_pri + 1, persistent = false, strict = false,
-          print_fn = fn _ => fn st => if Toplevel.is_proof st then Toplevel.print_state st else ()}
+          print_fn = fn _ => fn st =>
+            if Toplevel.is_proof st then Output.state (Toplevel.string_of_state st)
+            else ()}
       else NONE);