# HG changeset patch
# User wenzelm
# Date 1221164540 -7200
# Node ID e2431cc4dc66261b63fcbbba091b3059aa8bed32
# Parent  bcd48c6897d4a9ecdbd19ec5858080ed15212043
finish: Future.shutdown last;

diff -r bcd48c6897d4 -r e2431cc4dc66 src/Pure/Isar/session.ML
--- a/src/Pure/Isar/session.ML	Thu Sep 11 21:53:53 2008 +0200
+++ b/src/Pure/Isar/session.ML	Thu Sep 11 22:22:20 2008 +0200
@@ -68,8 +68,8 @@
 fun finish () =
   (Output.accumulated_time ();
     ThyInfo.finish ();
+    Present.finish ();
     Future.shutdown ();
-    Present.finish ();
     session_finished := true);