diff -r 14ab2f821e1d -r 04df1d236e1c src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Sun Aug 25 17:17:48 2013 +0200
+++ b/src/Pure/System/isabelle_process.ML	Sun Aug 25 20:32:26 2013 +0200
@@ -173,7 +173,7 @@
       | exn => (Output.error_msg (ML_Compiler.exn_message exn) handle crash => recover crash; true);
   in
     if continue then loop channel
-    else (Future.shutdown (); Goal.reset_futures (); Execution.reset ())
+    else (Future.shutdown (); Execution.reset (); ())
   end;
 
 end;