src/Pure/Thy/completion.scala

--- a/src/Pure/Thy/completion.scala	Mon Mar 29 22:43:56 2010 +0200
+++ b/src/Pure/Thy/completion.scala	Mon Mar 29 22:55:57 2010 +0200
@@ -94,7 +94,7 @@
           case Some(word) =>
             words_lex.completions(word).map(words_map(_)) match {
               case Nil => None
-              case cs => Some(word, cs.sort(_ < _))
+              case cs => Some(word, cs.sortWith(_ < _))
             }
           case None => None
         }