1.1 --- a/src/Pure/Thy/completion.scala	Fri Dec 16 12:03:33 2011 +0100
     1.2 +++ b/src/Pure/Thy/completion.scala	Fri Dec 16 13:37:08 2011 +0100
     1.3 @@ -96,7 +96,7 @@
     1.4            case Some(word) =>
     1.5              words_lex.completions(word).map(words_map(_)) match {
     1.6                case Nil => None
     1.7 -              case cs => Some(word, cs.sortWith(_ < _))
     1.8 +              case cs => Some(word, cs.sorted)
     1.9              }
    1.10            case None => None
    1.11          }