src/Pure/Admin/build_status.scala
changeset 65848 861a3ee712dd
parent 65847 ad35427dbe88
child 65849 d70d2d68f7f0
     1.1 --- a/src/Pure/Admin/build_status.scala	Tue May 16 22:57:12 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Wed May 17 10:49:19 2017 +0200
     1.3 @@ -78,7 +78,7 @@
     1.4      def order: Long = - timing.elapsed.ms
     1.5  
     1.6      def check_timing: Boolean = entries.length >= 3
     1.7 -    def check_heap: Boolean = entries.forall(_.heap_size > 0)
     1.8 +    def check_heap: Boolean = entries.length >= 3 && entries.forall(_.heap_size > 0)
     1.9    }
    1.10    sealed case class Entry(pull_date: Date, isabelle_version: String, afp_version: String,
    1.11      timing: Timing, ml_timing: Timing, heap_size: Long)