| changeset 82718 | e1a8753eaad7 |
| parent 82716 | 6e33d46b1400 |
| child 82720 | 956ecf2c07a0 |
--- a/src/Pure/Build/build.scala Sun Jun 15 13:40:03 2025 +0200 +++ b/src/Pure/Build/build.scala Sun Jun 15 15:19:03 2025 +0200 @@ -46,7 +46,7 @@ ) { def build_options: Options = store.options - def ml_platform: String = store.ml_platform + def ml_platform: String = store.ml_settings.ml_platform def sessions_structure: isabelle.Sessions.Structure = deps.sessions_structure