src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Fri Apr 06 14:40:00 2012 +0200
+++ b/src/Pure/PIDE/protocol.ML	Fri Apr 06 23:34:38 2012 +0200
@@ -55,7 +55,7 @@
           Output.protocol_message Isabelle_Markup.assign_execs
             ((new_id, assignment) |>
               let open XML.Encode
-              in pair int (pair (list (pair int (option int))) (list (pair string (option int)))) end
+              in pair int (list (pair int (option int))) end
               |> YXML.string_of_body);
         val state2 = Document.execute new_id state1;
       in state2 end));