# HG changeset patch
# User wenzelm
# Date 1736687282 -3600
# Node ID e06819faea88048f85ef826f1492dfc988e891e6
# Parent  e9f3dbcf854f060728dce21e910f1c2f0f93de1e
tuned;

diff -r e9f3dbcf854f -r e06819faea88 src/Tools/Find_Facts/src/elm.scala
--- a/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 13:54:44 2025 +0100
+++ b/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 14:08:02 2025 +0100
@@ -18,8 +18,6 @@
 
 
 object Elm {
-  private lazy val exec = Path.explode("$ISABELLE_ELM_HOME/elm").expand
-
   object Project {
     def apply(
       name: String,
@@ -73,7 +71,8 @@
         progress.echo("### Building " + name + " (" + output.canonical.implode + ") ...")
 
         val cmd =
-          File.bash_path(exec) + " make " + File.bash_path(main) + " --optimize --output=" + output
+          File.bash_path(Path.explode("$ISABELLE_ELM_HOME/elm")) + " make " +
+            File.bash_path(main) + " --optimize --output=" + output
         val res = Isabelle_System.bash(cmd, cwd = dir)
 
         if (!res.ok) {