Avoid unnecessary option wrapping

pull/10013/head
Benedikt Werner 2021-10-19 08:26:50 +02:00
parent dbd1bb09bf
commit 741c7d3ee3
No known key found for this signature in database
GPG Key ID: 1DBFF0F8E9E121EB
1 changed files with 1 additions and 1 deletions

View File

@ -75,7 +75,7 @@ object ModPresets {
val cleanRest = rest.dropWhile(_.isEmpty)
for {
name <- cleanRest.headOption
text <- cleanRest.tail.some
text = cleanRest.tail
} yield ModPreset(
name,
text.dropWhile(_.isEmpty) mkString "\n",