changeset 56609 | 5ac67041ccf8 |
parent 56600 | 628e039cc34d |
child 56631 | 89269bb8e7ca |
--- a/src/Pure/System/options.scala Wed Apr 16 21:51:41 2014 +0200 +++ b/src/Pure/System/options.scala Thu Apr 17 10:54:10 2014 +0200 @@ -58,7 +58,7 @@ case word :: rest if word == strip => rest case _ => words } - Word.implode(words1.map(Word.capitalize(_))) + Word.implode(words1.map(Word.perhaps_capitalize(_))) } def unknown: Boolean = typ == Unknown