tuned;
authorwenzelm
Wed, 12 Feb 2025 14:26:43 +0100
changeset 82146 143ff9527bac
parent 82145 5b8639cb0d11
child 82147 3f7c8e6d3481
tuned;
src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Feb 12 13:32:04 2025 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Feb 12 14:26:43 2025 +0100
@@ -636,10 +636,8 @@
           val classpath2 = Path.split(other_isabelle.getenv("ISABELLE_SETUP_CLASSPATH"))
           (classpath1 ::: classpath2).map { path =>
             val abs_path = path.absolute
-            File.relative_path(base, abs_path) match {
-              case Some(rel_path) => rel_path
-              case None => error("Bad classpath element: " + abs_path)
-            }
+            File.relative_path(base, abs_path)
+              .getOrElse(error("Bad classpath element: " + abs_path))
           }
         }