src/Pure/PIDE/session.scala
changeset 56335 8953d4cc060a
parent 56316 b1cf8ddc2e04
child 56385 76acce58aeab
     1.1 --- a/src/Pure/PIDE/session.scala	Mon Mar 31 12:35:39 2014 +0200
     1.2 +++ b/src/Pure/PIDE/session.scala	Mon Mar 31 15:05:24 2014 +0200
     1.3 @@ -384,7 +384,7 @@
     1.4            change.doc_blobs.get(digest) match {
     1.5              case Some(blob) =>
     1.6                global_state >> (_.define_blob(digest))
     1.7 -              prover.get.define_blob(blob)
     1.8 +              prover.get.define_blob(digest, blob.bytes)
     1.9              case None =>
    1.10                System.err.println("Missing blob for SHA1 digest " + digest)
    1.11            }