src/Pure/Isar/proof.ML

--- a/src/Pure/Isar/proof.ML	Tue Dec 23 16:00:38 2014 +0100
+++ b/src/Pure/Isar/proof.ML	Tue Dec 23 20:46:42 2014 +0100
@@ -1046,8 +1046,7 @@
       else if int then
         Proof_Display.string_of_rule ctxt "Successful" th
         |> Markup.markup Markup.text_fold
-        |> Markup.markup Markup.state
-        |> writeln
+        |> Output.state
       else ();
     val test_proof =
       local_skip_proof true