# HG changeset patch
# User wenzelm
# Date 1683807444 -7200
# Node ID 37085099e4151fb0c8684de7322fe93890857013
# Parent  9c18535a9fcd121c6309e106cf6ec97b43b37f3e
more robust: after shutdown;

diff -r 9c18535a9fcd -r 37085099e415 src/Pure/PIDE/session.ML
--- 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)