diff -r 55e62a25a7ce -r 00170ef1dc39 src/Pure/PIDE/protocol.ML
--- a/src/Pure/PIDE/protocol.ML	Thu Jul 11 16:35:37 2013 +0200
+++ b/src/Pure/PIDE/protocol.ML	Thu Jul 11 18:41:05 2013 +0200
@@ -27,7 +27,7 @@
   Isabelle_Process.protocol_command "Document.update"
     (fn [old_id_string, new_id_string, edits_yxml] => Document.change_state (fn state =>
       let
-        val _ = Document.cancel_execution state;
+        val _ = Document.discontinue_execution state;
 
         val old_id = Document_ID.parse old_id_string;
         val new_id = Document_ID.parse new_id_string;