src/Pure/PIDE/resources.scala
changeset 57917 8ce97e5d545f
parent 57916 2c2c24dbf0a4
child 59683 d6824d8490be
     1.1 --- a/src/Pure/PIDE/resources.scala	Tue Aug 12 18:36:43 2014 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Tue Aug 12 18:54:53 2014 +0200
     1.3 @@ -126,6 +126,6 @@
     1.4    /* prover process */
     1.5  
     1.6    def start_prover(receiver: Prover.Message => Unit, name: String, args: List[String]): Prover =
     1.7 -    new Isabelle_Process(receiver, args)
     1.8 +    Isabelle_Process(receiver, args)
     1.9  }
    1.10