src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Sun Aug 25 17:17:48 2013 +0200
+++ b/src/Pure/PIDE/protocol.ML	Sun Aug 25 20:32:26 2013 +0200
@@ -67,7 +67,7 @@
 
         val (removed, assign_update, state') = Document.update old_id new_id edits state;
         val _ = List.app Execution.terminate removed;
-        val _ = Goal.purge_futures removed;
+        val _ = Execution.purge removed;
         val _ = List.app Isabelle_Process.reset_tracing removed;
 
         val _ =