src/Pure/PIDE/protocol.scala
changeset 59685 c043306d2598
parent 59671 9715eb8e9408
child 59695 a03e0561bdbf
     1.1 --- a/src/Pure/PIDE/protocol.scala	Thu Mar 12 20:34:08 2015 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Thu Mar 12 22:00:51 2015 +0100
     1.3 @@ -392,7 +392,7 @@
     1.4                (Nil, pair(string, option(string))((a.node, b.map(p => p._1.toString)))) },
     1.5            { case Exn.Exn(e) => (Nil, string(Exn.message(e))) }))
     1.6  
     1.7 -      YXML.string_of_body(list(encode_blob)(command.blobs))
     1.8 +      YXML.string_of_body(pair(list(encode_blob), int)(command.blobs, command.blobs_index))
     1.9      }
    1.10  
    1.11      val toks = command.span.content