src/Pure/System/invoke_scala.scala

--- a/src/Pure/System/invoke_scala.scala	Wed Jul 10 21:54:43 2013 +0200
+++ b/src/Pure/System/invoke_scala.scala	Wed Jul 10 22:04:57 2013 +0200
@@ -76,7 +76,7 @@
     id: String, tag: Invoke_Scala.Tag.Value, res: String): Unit = synchronized
   {
     if (futures.isDefinedAt(id)) {
-      prover.input("Invoke_Scala.fulfill", id, tag.toString, res)
+      prover.protocol_command("Invoke_Scala.fulfill", id, tag.toString, res)
       futures -= id
     }
   }