src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Fri May 01 15:33:43 2015 +0200
+++ b/src/Pure/PIDE/prover.scala	Sun May 03 00:01:10 2015 +0200
@@ -293,7 +293,7 @@
       {
         val n = read_int()
         val buf =
-          if (n <= default_buffer.size) default_buffer
+          if (n <= default_buffer.length) default_buffer
           else new Array[Byte](n)
 
         var i = 0
@@ -367,4 +367,3 @@
     protocol_command_bytes(name, args.map(Bytes(_)): _*)
   }
 }
-