src/Pure/Tools/build.scala

       fi
 
       exit "$RC"
       """
 
-    private val result =
+    private val future_result =
       Future.thread("build") {
         Isabelle_System.bash(script, info.dir.file, env,
           progress_stdout = (line: String) =>
             Library.try_unprefix("\floading_theory = ", line) match {
               case Some(theory) => progress.theory(name, theory)

               case m => Some(m * 1000000L)
             },
           strict = false)
       }
 
-    def terminate: Unit = result.cancel
-    def is_finished: Boolean = result.is_finished
+    def terminate: Unit = future_result.cancel
+    def is_finished: Boolean = future_result.is_finished
 
     @volatile private var was_timeout = false
     private val timeout_request: Option[Event_Timer.Request] =
     {
       if (info.timeout > Time.zero)

       else None
     }
 
     def join: Process_Result =
     {
-      val res = result.join
-
-      if (res.ok && !is_pure(name))
+      val result = future_result.join
+
+      if (result.ok && !is_pure(name))
         Present.finish(progress, browser_info, graph_file, info, name)
 
       graph_file.delete
       args_file.delete
       timeout_request.foreach(_.cancel)
 
-      if (res.interrupted) {
-        if (was_timeout) res.error(Output.error_text("Timeout")).was_timeout
-        else res.error(Output.error_text("Interrupt"))
-      }
-      else res
+      if (result.interrupted) {
+        if (was_timeout) result.error(Output.error_text("Timeout")).was_timeout
+        else result.error(Output.error_text("Interrupt"))
+      }
+      else result
     }
   }
 
 
   /* inlined properties (YXML) */