src/Pure/Admin/other_isabelle.scala

--- a/src/Pure/Admin/other_isabelle.scala	Tue Apr 07 21:07:28 2020 +0200
+++ b/src/Pure/Admin/other_isabelle.scala	Tue Apr 07 21:49:36 2020 +0200
@@ -12,7 +12,7 @@
   def apply(isabelle_home: Path,
       isabelle_identifier: String = "",
       user_home: Path = Path.explode("$USER_HOME"),
-      progress: Progress = No_Progress): Other_Isabelle =
+      progress: Progress = new Progress): Other_Isabelle =
     new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, user_home, progress)
 }