src/Pure/PIDE/protocol.ML
changeset 47420 0dbe6c69eda2
parent 47404 e6e5750f1311
child 48707 ba531af91148
--- a/src/Pure/PIDE/protocol.ML	Tue Apr 10 23:05:24 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML	Wed Apr 11 11:44:21 2012 +0200
@@ -50,15 +50,16 @@
                   fn (a, []) => Document.Perspective (map int_atom a)]))
             end;
 
-        val (assignment, state1) = Document.update old_id new_id edits state;
+        val (assignment, state') = Document.update old_id new_id edits state;
         val _ =
           Output.protocol_message Isabelle_Markup.assign_execs
             ((new_id, assignment) |>
               let open XML.Encode
               in pair int (list (pair int (option int))) end
               |> YXML.string_of_body);
-        val state2 = Document.execute new_id state1;
-      in state2 end));
+
+        val _ = Document.start_execution state';
+      in state' end));
 
 val _ =
   Isabelle_Process.protocol_command "Document.remove_versions"