changeset 73344 | f5c147654661 |
parent 71867 | 3ee14fc25736 |
child 75393 | 87ebf5a50283 |
--- a/src/Pure/General/word.scala Mon Mar 01 22:50:00 2021 +0100 +++ b/src/Pure/General/word.scala Mon Mar 01 23:17:47 2021 +0100 @@ -57,7 +57,7 @@ else if (Codepoint.iterator(str).forall(Character.isUpperCase)) Some(Uppercase) else { val it = Codepoint.iterator(str) - if (Character.isUpperCase(it.next) && it.forall(Character.isLowerCase)) + if (Character.isUpperCase(it.next()) && it.forall(Character.isLowerCase)) Some(Capitalized) else None }