diff -r 2ee03f7abd8d -r a1ccecae6a57 src/Pure/System/isabelle_system.ML
--- a/src/Pure/System/isabelle_system.ML	Sat Aug 28 23:11:20 2021 +0200
+++ b/src/Pure/System/isabelle_system.ML	Sun Aug 29 12:04:55 2021 +0200
@@ -40,7 +40,7 @@
 
 fun bash_process params =
   let
-    val {script, input, cwd, putenv, redirect, timeout, description: string} =
+    val {script, input, cwd, putenv, redirect, timeout, description} =
       Bash.dest_params params;
     val run =
       [Bash.server_run, script, input,