# HG changeset patch
# User wenzelm
# Date 1674469878 -3600
# Node ID e57ba228ec2445cbd49e1afbcb2de7e16a7a5d54
# Parent  92509e4274eb46dc674080a0e8ce8f76ed70bf5c
tuned: drop redundant "expand";

diff -r 92509e4274eb -r e57ba228ec24 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Mon Jan 23 11:12:02 2023 +0100
+++ b/src/Pure/Admin/build_history.scala	Mon Jan 23 11:31:18 2023 +0100
@@ -212,7 +212,7 @@
           Isabelle_System.rm_tree(other_isabelle.isabelle_home + Path.explode("lib/classes"))
         }
         other_isabelle.bash(
-          "env PATH=\"" + File.bash_path(Path.explode("~~/lib/dummy_stty").expand) + ":$PATH\" " +
+          "env PATH=\"" + File.bash_path(Path.explode("~~/lib/dummy_stty")) + ":$PATH\" " +
             "bin/isabelle jedit -b", redirect = true, echo = verbose).check
 
         for {