--- a/src/Pure/PIDE/protocol.ML Mon Mar 16 11:07:56 2015 +0100
+++ b/src/Pure/PIDE/protocol.ML Mon Mar 16 11:30:54 2015 +0100
@@ -32,11 +32,15 @@
let
val (blobs, blobs_index) =
YXML.parse_body blobs_yxml |>
- let open XML.Decode in
+ let
+ val message =
+ YXML.string_of_body o Protocol_Message.command_positions id;
+ open XML.Decode;
+ in
pair
(list (variant
[fn ([], a) => Exn.Res (pair string (option string) a),
- fn ([], a) => Exn.Exn (ERROR (YXML.string_of_body a))]))
+ fn ([], a) => Exn.Exn (ERROR (message a))]))
int
end;
val toks =