# HG changeset patch
# User wenzelm
# Date 1455452159 -3600
# Node ID ccbd48444049a7d42c74192a115ead2193a09e7a
# Parent  5c0a5c30cda87d534177dd7d592cd19e9ec25298
tuned;

diff -r 5c0a5c30cda8 -r ccbd48444049 src/Pure/PIDE/prover.scala
--- a/src/Pure/PIDE/prover.scala	Sun Feb 14 13:11:19 2016 +0100
+++ b/src/Pure/PIDE/prover.scala	Sun Feb 14 13:15:59 2016 +0100
@@ -121,7 +121,7 @@
 
   /** process manager **/
 
-  private val process_result =
+  private val process_result: Future[Int] =
     Future.thread("process_result") { system_process.join }
 
   private def terminate_process()