diff -r 9efdebe24c65 -r 0ffcad1f6130 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Admin/build_history.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -399,7 +399,7 @@
       }
   }
 
-  def main(args: Array[String])
+  def main(args: Array[String]): Unit =
   {
     Command_Line.tool {
       var afp_rev: Option[String] = None