--- a/src/Pure/PIDE/session.ML Sat Jan 10 21:22:25 2015 +0100
+++ b/src/Pure/PIDE/session.ML Sat Jan 10 21:39:49 2015 +0100
@@ -72,7 +72,6 @@
fun save heap =
(Execution.shutdown ();
- Future.shutdown ();
Event_Timer.shutdown ();
Future.shutdown ();
ML_System.share_common_data ();