src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Tue Jul 30 11:54:57 2013 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Jul 30 12:07:14 2013 +0200
@@ -182,7 +182,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 (); ())
+    else (Future.shutdown (); Goal.reset_futures (); Execution.reset ())
   end;
 
 end;