Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust: after shutdown;
authorwenzelm
Thu, 11 May 2023 14:17:24 +0200
changeset 78034 37085099e415
parent 78033 9c18535a9fcd
child 78035 bd5f6cee8001
more robust: after shutdown;
src/Pure/PIDE/session.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/session.ML	Thu May 11 12:21:50 2023 +0200
+++ b/src/Pure/PIDE/session.ML	Thu May 11 14:17:24 2023 +0200
@@ -41,8 +41,8 @@
  (shutdown ();
   Par_List.map (Global_Theory.get_thm_names o Thy_Info.get_theory) (Thy_Info.get_names ());
   Thy_Info.finish ();
-  Context.finish_tracing ();
-  shutdown ());
+  shutdown ();
+  ignore (Context.finish_tracing ()));
 
 fun print_context_tracing pred =
   List.app (writeln o Proof_Display.print_context_tracing)
isabelle