src/Pure/Thy/completion.scala

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