src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Wed Dec 09 20:33:02 2020 +0100
+++ b/src/Pure/Thy/thy_info.ML	Wed Dec 09 22:07:14 2020 +0100
@@ -56,8 +56,7 @@
 );
 
 fun apply_presentation (context: presentation_context) thy =
- (ignore (Presentation.get thy |> Par_List.map (fn (f, _) => f context thy));
-  Output.try_protocol_message (Markup.finished_theory (Context.theory_long_name thy)) []);
+  ignore (Presentation.get thy |> Par_List.map (fn (f, _) => f context thy));
 
 fun add_presentation f = Presentation.map (cons (f, stamp ()));