changeset 80224 | db92e0b6a11a |
parent 77710 | b8b01343e3df |
--- a/src/Pure/ML/ml_statistics.scala Fri May 31 22:35:44 2024 +0200 +++ b/src/Pure/ML/ml_statistics.scala Sat Jun 01 12:31:06 2024 +0200 @@ -63,7 +63,7 @@ Bash.process(env_prefix + "\"$POLYML_EXE\" -q --use src/Pure/ML/ml_statistics.ML --eval " + Bash.string("ML_Statistics.monitor " + ML_Syntax.print_long(pid) + " " + ML_Syntax.print_double(delay.seconds)), - cwd = Path.ISABELLE_HOME.file) + cwd = Path.ISABELLE_HOME) .result(progress_stdout = progress_stdout, strict = false).check }