src/Pure/General/word.scala

--- a/src/Pure/General/word.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/General/word.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -10,8 +10,7 @@
 import java.util.Locale
 
 
-object Word
-{
+object Word {
   /* directionality */
 
   def bidi_detect(str: String): Boolean =
@@ -43,8 +42,7 @@
   case object Uppercase extends Case
   case object Capitalized extends Case
 
-  object Case
-  {
+  object Case {
     def apply(c: Case, str: String): String =
       c match {
         case Lowercase => lowercase(str)