src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Tue Aug 12 17:28:07 2014 +0200
+++ b/src/Pure/PIDE/resources.scala	Tue Aug 12 18:36:43 2014 +0200
@@ -126,6 +126,6 @@
   /* prover process */
 
   def start_prover(receiver: Prover.Message => Unit, name: String, args: List[String]): Prover =
-    new Isabelle_Process(receiver, args) with Protocol
+    new Isabelle_Process(receiver, args)
 }