src/Pure/PIDE/protocol.scala
changeset 56458 a8d960baa5c2
parent 56449 f0592485b7fb
child 56462 b64b0cb845fe
     1.1 --- a/src/Pure/PIDE/protocol.scala	Mon Apr 07 21:23:02 2014 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Mon Apr 07 23:02:29 2014 +0200
     1.3 @@ -352,8 +352,7 @@
     1.4        val encode_blob: T[Command.Blob] =
     1.5          variant(List(
     1.6            { case Exn.Res((a, b)) =>
     1.7 -              (Nil, triple(string, string, option(string))(
     1.8 -                (a.node, Isabelle_System.posix_path_url(a.node), b.map(p => p._1.toString)))) },
     1.9 +              (Nil, pair(string, option(string))((a.node, b.map(p => p._1.toString)))) },
    1.10            { case Exn.Exn(e) => (Nil, string(Exn.message(e))) }))
    1.11        YXML.string_of_body(list(encode_blob)(command.blobs))
    1.12      }