src/Pure/PIDE/resources.scala
changeset 62296 b04a5ddd6121
parent 60835 6512bb0b1ff4
child 62545 8ebffdaf2ce2
     1.1 --- a/src/Pure/PIDE/resources.scala	Sat Feb 13 20:01:48 2016 +0100
     1.2 +++ b/src/Pure/PIDE/resources.scala	Sat Feb 13 20:41:56 2016 +0100
     1.3 @@ -136,7 +136,7 @@
     1.4  
     1.5    /* prover process */
     1.6  
     1.7 -  def start_prover(receiver: Prover.Message => Unit, name: String, args: List[String]): Prover =
     1.8 +  def start_prover(receiver: Prover.Message => Unit, name: String, args: String): Prover =
     1.9      Isabelle_Process(receiver, args)
    1.10  }
    1.11