| changeset 57917 | 8ce97e5d545f |
| parent 57916 | 2c2c24dbf0a4 |
| child 59683 | d6824d8490be |
--- a/src/Pure/PIDE/resources.scala Tue Aug 12 18:36:43 2014 +0200 +++ b/src/Pure/PIDE/resources.scala Tue Aug 12 18:54:53 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) + Isabelle_Process(receiver, args) }