src/Pure/Admin/other_isabelle.scala

--- a/src/Pure/Admin/other_isabelle.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -96,7 +96,7 @@
     }
     else false
 
-  def init_settings(settings: List[String])
+  def init_settings(settings: List[String]): Unit =
   {
     if (!clean_settings())
       error("Cannot proceed with existing user settings file: " + etc_settings)
@@ -111,7 +111,7 @@
 
   /* cleanup */
 
-  def cleanup()
+  def cleanup(): Unit =
   {
     clean_settings()
     etc.file.delete