src/Pure/PIDE/prover.scala
changeset 62307 ccbd48444049
parent 61559 313eca3fa847
child 62310 ab836dc7410e
     1.1 --- a/src/Pure/PIDE/prover.scala	Tue Nov 03 16:35:38 2015 +0100
     1.2 +++ b/src/Pure/PIDE/prover.scala	Sun Feb 14 13:15:59 2016 +0100
     1.3 @@ -121,7 +121,7 @@
     1.4  
     1.5    /** process manager **/
     1.6  
     1.7 -  private val process_result =
     1.8 +  private val process_result: Future[Int] =
     1.9      Future.thread("process_result") { system_process.join }
    1.10  
    1.11    private def terminate_process()