tuned whitespace;

--- a/src/Pure/Tools/build.scala	Fri Sep 01 15:42:10 2017 +0200
+++ b/src/Pure/Tools/build.scala	Sat Sep 02 12:09:07 2017 +0200
@@ -416,8 +416,10 @@
 
     // scheduler loop
     case class Result(
-      current: Boolean, heap_stamp: Option[String],
-      process: Option[Process_Result], info: Sessions.Info)
+      current: Boolean,
+      heap_stamp: Option[String],
+      process: Option[Process_Result],
+      info: Sessions.Info)
     {
       def ok: Boolean =
         process match {