src/Pure/PIDE/protocol.scala

--- a/src/Pure/PIDE/protocol.scala	Mon Mar 31 12:35:39 2014 +0200
+++ b/src/Pure/PIDE/protocol.scala	Mon Mar 31 15:05:24 2014 +0200
@@ -319,9 +319,8 @@
 {
   /* inlined files */
 
-  def define_blob(blob: Document.Blob): Unit =
-    protocol_command_raw(
-      "Document.define_blob", Bytes(blob.bytes.sha1_digest.toString), blob.bytes)
+  def define_blob(digest: SHA1.Digest, bytes: Bytes): Unit =
+    protocol_command_raw("Document.define_blob", Bytes(digest.toString), bytes)
 
 
   /* commands */