# HG changeset patch
# User wenzelm
# Date 1736685660 -3600
# Node ID 9346640e6cda061de5d1b285c5eb2c3f0f37f06b
# Parent  c6d8db03dfdcacf0d5caad33f94ffd68df22b0ec
tuned: fewer warnings in IntelliJ IDEA;

diff -r c6d8db03dfdc -r 9346640e6cda src/Pure/Admin/component_elm.scala
--- a/src/Pure/Admin/component_elm.scala	Sun Jan 12 13:27:47 2025 +0100
+++ b/src/Pure/Admin/component_elm.scala	Sun Jan 12 13:41:00 2025 +0100
@@ -12,7 +12,7 @@
   sealed case class Download_Platform(platform_name: String, file_name: String) {
     override def toString: String = platform_name
 
-    def archive_name = file_name + ".gz"
+    def archive_name: String = file_name + ".gz"
     def download(base_url: String, version: String): String =
       base_url + "/" + version + "/" + archive_name