--- a/src/Pure/System/options.scala Tue Apr 15 22:41:10 2014 +0200
+++ b/src/Pure/System/options.scala Wed Apr 16 09:38:40 2014 +0200
@@ -21,7 +21,7 @@
sealed abstract class Type
{
- def print: String = Library.lowercase(toString)
+ def print: String = Word.lowercase(toString)
}
case object Bool extends Type
case object Int extends Type
@@ -58,7 +58,7 @@
case word :: rest if word == strip => rest
case _ => words
}
- words1.map(Library.capitalize(_)).mkString(" ")
+ words1.map(Word.capitalize(_)).mkString(" ")
}
def unknown: Boolean = typ == Unknown