src/Pure/Tools/check_keywords.scala

--- a/src/Pure/Tools/check_keywords.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/Tools/check_keywords.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -38,7 +38,7 @@
     val parallel_args = paths.map(path => (File.read(path), Token.Pos.file(path.expand.implode)))
 
     val bad =
-      Par_List.map((arg: (String, Token.Pos)) => {
+      Par_List.map({ (arg: (String, Token.Pos)) =>
         progress.expose_interrupt()
         conflicts(keywords, check, arg._1, arg._2)
       }, parallel_args).flatten