Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Build/store.scala
changeset 82761 88ffadf17062
parent 82758 414ebfd5389b 
--- a/src/Pure/Build/store.scala	Wed Jun 25 12:25:02 2025 +0200
+++ b/src/Pure/Build/store.scala	Wed Jun 25 12:29:04 2025 +0200
@@ -286,7 +286,7 @@
 
   /* ML system settings */
 
-  val ml_settings: ML_Settings = ML_Settings.system(options)
+  val ml_settings: ML_Settings = ML_Settings(options)
 
   val system_output_dir: Path =
     Path.variable("ISABELLE_HEAPS_SYSTEM") + Path.basic(ml_settings.ml_identifier)
isabelle