diff -r 50f18a822ee9 -r 1b0f81e556a2 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Fri Dec 11 17:58:01 2020 +0100
+++ b/src/Pure/Admin/build_log.scala	Sat Dec 12 12:45:21 2020 +0100
@@ -656,7 +656,7 @@
     }
 
   def uncompress_errors(bytes: Bytes, cache: XZ.Cache = XZ.cache()): List[String] =
-    if (bytes.isEmpty) Nil
+    if (bytes.is_empty) Nil
     else {
       XML.Decode.list(YXML.string_of_body)(YXML.parse_body(bytes.uncompress(cache = cache).text))
     }