src/Pure/PIDE/isar_document.ML

--- a/src/Pure/PIDE/isar_document.ML	Wed Aug 31 17:36:10 2011 +0200
+++ b/src/Pure/PIDE/isar_document.ML	Wed Aug 31 19:52:13 2011 +0200
@@ -48,17 +48,17 @@
             end;
 
         val running = Document.cancel_execution state;
-        val (assignment, state') = Document.update old_id new_id edits state;
+        val (assignment, state1) = Document.update old_id new_id edits state;
         val _ = Future.join_tasks running;
-        val _ = Document.join_commands state';
+        val state2 = Document.join_commands state1;
         val _ =
           Output.status (Markup.markup (Markup.assign new_id)
             (assignment |>
               let open XML.Encode
               in pair (list (pair int (option int))) (list (pair string (option int))) end
               |> YXML.string_of_body));
-        val state'' = Document.execute new_id state';
-      in state'' end));
+        val state3 = Document.execute new_id state2;
+      in state3 end));
 
 val _ =
   Isabelle_Process.add_command "Isar_Document.invoke_scala"