diff -r 3d805ab66a2f -r 5bded25065f8 src/Pure/System/bash.ML
--- a/src/Pure/System/bash.ML	Mon Feb 08 20:56:12 2021 +0100
+++ b/src/Pure/System/bash.ML	Tue Feb 09 14:55:36 2021 +0100
@@ -184,7 +184,7 @@
   end);
 
 fun process_scala script =
-  Scala.function "bash_process"
+  Scala.function_thread "bash_process"
     ("export ISABELLE_TMP=" ^ string (getenv "ISABELLE_TMP") ^ "\n" ^ script)
   |> YXML.parse_body
   |>