src/Pure/Isar/proof_context.ML

--- a/src/Pure/Isar/proof_context.ML	Sat Jul 16 18:56:43 2016 +0200
+++ b/src/Pure/Isar/proof_context.ML	Sat Jul 16 19:35:27 2016 +0200
@@ -1555,8 +1555,7 @@
       [] => ""
     | proofs =>
         "Proof outline with cases:\n" ^
-        Active.sendback_markup [Markup.padding_command]
-          (space_implode "\nnext\n" proofs ^ "\nqed"))
+        Active.sendback_markup_command (space_implode "\nnext\n" proofs ^ "\nqed"))
   end;