--- a/src/Pure/System/other_isabelle.scala Tue Aug 29 17:19:19 2023 +0200
+++ b/src/Pure/System/other_isabelle.scala Tue Aug 29 17:29:34 2023 +0200
@@ -89,7 +89,7 @@
def resolve_components(
echo: Boolean = false,
- clean_platforms: Option[List[Platform.Family.Value]] = None,
+ clean_platforms: Option[List[Platform.Family]] = None,
clean_archives: Boolean = false,
component_repository: String = Components.static_component_repository
): Unit = {
@@ -152,7 +152,7 @@
other_settings: List[String] = init_components(),
fresh: Boolean = false,
echo: Boolean = false,
- clean_platforms: Option[List[Platform.Family.Value]] = None,
+ clean_platforms: Option[List[Platform.Family]] = None,
clean_archives: Boolean = false,
component_repository: String = Components.static_component_repository
): Unit = {