# HG changeset patch
# User wenzelm
# Date 1495010959 -7200
# Node ID 861a3ee712dd2ed9a1e7f62b3c8f8e2d8c9ab3b8
# Parent  ad35427dbe88ff4dfcf864809e0910bb35ae4713
proper check (amending ad35427dbe88);

diff -r ad35427dbe88 -r 861a3ee712dd src/Pure/Admin/build_status.scala
--- a/src/Pure/Admin/build_status.scala	Tue May 16 22:57:12 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Wed May 17 10:49:19 2017 +0200
@@ -78,7 +78,7 @@
     def order: Long = - timing.elapsed.ms
 
     def check_timing: Boolean = entries.length >= 3
-    def check_heap: Boolean = entries.forall(_.heap_size > 0)
+    def check_heap: Boolean = entries.length >= 3 && entries.forall(_.heap_size > 0)
   }
   sealed case class Entry(pull_date: Date, isabelle_version: String, afp_version: String,
     timing: Timing, ml_timing: Timing, heap_size: Long)