Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned according to hints by IntelliJ IDEA;
authorwenzelm
Thu, 01 Oct 2020 15:56:34 +0200
changeset 72351 68902f8a1ef0
parent 72350 95c2853dd616
child 72352 f4bd6f123fdf
tuned according to hints by IntelliJ IDEA;
src/Pure/Admin/build_polyml.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_polyml.scala	Wed Sep 30 23:37:07 2020 +0200
+++ b/src/Pure/Admin/build_polyml.scala	Thu Oct 01 15:56:34 2020 +0200
@@ -64,8 +64,8 @@
     val platform_64 = "x86_64-" + platform_os
 
     val info =
-      platform_info.get(platform_os) getOrElse
-        error("Bad OS platform: " + quote(platform_os))
+      platform_info.getOrElse(platform_os,
+        error("Bad OS platform: " + quote(platform_os)))
 
     val settings =
       msys_root match {
isabelle