src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Fri Aug 31 22:34:37 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML	Sat Sep 01 19:27:28 2012 +0200
@@ -59,6 +59,7 @@
               in pair int (list (pair int (option int))) end
               |> YXML.string_of_body);
 
+        val _ = Goal.cancel_futures ();
         val _ = Document.start_execution state';
       in state' end));