src/Pure/General/scan.ML

--- a/src/Pure/General/scan.ML	Sun Dec 28 22:10:09 2014 +0100
+++ b/src/Pure/General/scan.ML	Mon Dec 29 15:38:59 2014 +0100
@@ -328,7 +328,7 @@
     val content = dest path' lex;
   in append (if tip then rev path' :: content else content) end) tab [];
 
-val dest_lexicon = map implode o dest [];
+val dest_lexicon = sort_strings o map implode o dest [];
 
 fun merge_lexicons (lex1, lex2) =
   if pointer_eq (lex1, lex2) then lex1