src/Pure/System/mingw.scala

--- a/src/Pure/System/mingw.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/System/mingw.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
 package isabelle
 
 
-object MinGW
-{
+object MinGW {
   def environment: List[String] =
     List("PATH=/usr/bin:/bin:/mingw64/bin", "CONFIG_SITE=/mingw64/etc/config.site")
 
@@ -19,8 +18,7 @@
   def apply(path: Path) = new MinGW(Some(path))
 }
 
-class MinGW private(val root: Option[Path])
-{
+class MinGW private(val root: Option[Path]) {
   override def toString: String =
     root match {
       case None => "MinGW.none"
@@ -40,8 +38,7 @@
     else if (root.isEmpty) error("Windows platform requires msys/mingw root specification")
     else root.get
 
-  def check: Unit =
-  {
+  def check: Unit = {
     if (Platform.is_windows) {
       get_root
       try { require(Isabelle_System.bash(bash_script("uname -s")).check.out.startsWith("MSYS")) }