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/Tools/dotnet_setup.scala
changeset 78610 fd1fec53665b
parent 78288 9030c8efda73
child 79803 33c93008db03 
--- a/src/Pure/Tools/dotnet_setup.scala	Tue Aug 29 17:19:19 2023 +0200
+++ b/src/Pure/Tools/dotnet_setup.scala	Tue Aug 29 17:29:34 2023 +0200
@@ -11,7 +11,7 @@
   /* platforms */
 
   sealed case class Platform_Info(
-    family: Platform.Family.Value,
+    family: Platform.Family,
     name: String,
     os: String = "",
     arch: String = "x64",
isabelle