src/Pure/Thy/thy_info.ML

   val extend = I;
   fun merge data : T = Library.merge (eq_snd op =) data;
 );
 
 fun apply_presentation (context: presentation_context) thy =
- (ignore (Par_List.map (fn (f, _) => f context thy (Presentation.get 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)) []);
 
 fun add_presentation f = Presentation.map (cons (f, stamp ()));
 
 val _ =