Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_info.ML
changeset 72712 d76b0f29c8fd
parent 72710 6bc199a70bf9
child 72861 3f5e6da08687 
--- a/src/Pure/Thy/thy_info.ML	Wed Nov 25 20:48:33 2020 +0100
+++ b/src/Pure/Thy/thy_info.ML	Wed Nov 25 21:08:43 2020 +0100
@@ -56,7 +56,7 @@
 );
 
 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 ()));
isabelle