--- a/src/Pure/Tools/go_setup.scala Mon May 05 17:04:14 2025 +0100
+++ b/src/Pure/Tools/go_setup.scala Tue May 06 16:52:39 2025 +0200
@@ -34,7 +34,7 @@
/* Go download and setup */
def default_platform: String =
- Isabelle_Platform.self.ISABELLE_PLATFORM(windows = true, apple = true)
+ Isabelle_Platform.local.ISABELLE_PLATFORM(windows = true, apple = true)
def default_target_dir: Path = Components.default_components_base
val default_url = "https://go.dev/dl"
def default_version: String = Isabelle_System.getenv_strict("ISABELLE_GO_VERSION")