--- a/src/Pure/Tools/build_job.scala Wed May 11 09:53:29 2022 +0200
+++ b/src/Pure/Tools/build_job.scala Wed May 11 10:42:24 2022 +0200
@@ -7,8 +7,6 @@
package isabelle
-import java.util.HashMap
-
import scala.collection.mutable
@@ -215,8 +213,9 @@
val base = deps(parent)
val result_base = deps(session_name)
- val env = new HashMap(Isabelle_System.settings())
- env.put("ISABELLE_ML_DEBUGGER", options.bool("ML_debugger").toString)
+ val env =
+ Isabelle_System.settings(
+ List("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString))
val is_pure = Sessions.is_pure(session_name)