src/Pure/ML/ml_console.scala

--- a/src/Pure/ML/ml_console.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/ML/ml_console.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -11,7 +11,7 @@
 {
   /* command line entry point */
 
-  def main(args: Array[String])
+  def main(args: Array[String]): Unit =
   {
     Command_Line.tool {
       var dirs: List[Path] = Nil