src/Pure/System/session.ML

--- a/src/Pure/System/session.ML	Wed Oct 17 14:58:04 2012 +0200
+++ b/src/Pure/System/session.ML	Wed Oct 17 21:04:51 2012 +0200
@@ -72,6 +72,8 @@
     Keyword.status ();
     Outer_Syntax.check_syntax ();
     Future.shutdown ();
+    Goal.finish_futures ();
+    Goal.cancel_futures ();
     Options.reset_default ();
     session_finished := true);