src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Sat Mar 18 21:24:54 2017 +0100
+++ b/src/Pure/System/isabelle_process.scala	Sat Mar 18 21:40:47 2017 +0100
@@ -63,7 +63,7 @@
     receiver: Prover.Receiver,
     xml_cache: XML.Cache,
     channel: System_Channel,
-    process: Prover.System_Process)
+    process: Bash.Process)
   extends Prover(receiver, xml_cache, channel, process)
 {
   def encode(s: String): String = Symbol.encode(s)