src/Pure/General/completion.scala

--- a/src/Pure/General/completion.scala	Fri Apr 01 17:06:10 2022 +0200
+++ b/src/Pure/General/completion.scala	Fri Apr 01 23:19:12 2022 +0200
@@ -347,7 +347,7 @@
 
   def add_symbols: Completion = {
     val words =
-      Symbol.symbols.entries.flatMap(entry => {
+      Symbol.symbols.entries.flatMap { entry =>
         val sym = entry.symbol
         val word = "\\" + entry.name
         val seps =
@@ -358,7 +358,7 @@
           }
         List(sym -> sym, word -> sym) :::
           seps.map(sep => word -> (sym + sep + "\\<open>\u0007\\<close>"))
-      })
+      }
 
     new Completion(
       keywords,