src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Thu Oct 18 19:12:58 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML	Thu Oct 18 19:58:30 2012 +0200
@@ -59,7 +59,7 @@
               in pair int (list (pair int (option int))) end
               |> YXML.string_of_body);
 
-        val _ = Goal.cancel_futures ();
+        val _ = List.app Future.cancel_group (Goal.reset_futures ());
         val _ = Isabelle_Process.reset_tracing_limits ();
         val _ = Document.start_execution state';
       in state' end));