src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Thu Aug 06 22:54:22 2020 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Aug 06 22:58:18 2020 +0200
@@ -339,12 +339,11 @@
     redirect: Boolean = false,
     progress_stdout: String => Unit = (_: String) => (),
     progress_stderr: String => Unit = (_: String) => (),
-    progress_limit: Option[Long] = None,
     strict: Boolean = true,
     cleanup: () => Unit = () => ()): Process_Result =
   {
     Bash.process(script, cwd = cwd, env = env, redirect = redirect, cleanup = cleanup).
-      result(progress_stdout, progress_stderr, progress_limit, strict)
+      result(progress_stdout, progress_stderr, strict)
   }
 
   def jconsole(): Process_Result =