diff -r 020becec359c -r 610794dff23c src/HOL/Tools/ATP/atp_problem_generate.ML
--- a/src/HOL/Tools/ATP/atp_problem_generate.ML	Wed Aug 12 21:38:39 2015 +0200
+++ b/src/HOL/Tools/ATP/atp_problem_generate.ML	Thu Aug 13 11:05:19 2015 +0200
@@ -2386,7 +2386,7 @@
 
 fun lines_of_sym_decl_table ctxt mono type_enc mono_Ts sym_decl_tab =
   let
-    val syms = sym_decl_tab |> Symtab.dest |> sort_wrt fst
+    val syms = sym_decl_tab |> Symtab.dest |> sort_by fst
     val mono_lines = lines_of_mono_types ctxt mono type_enc mono_Ts
     val decl_lines = maps (lines_of_sym_decls ctxt mono type_enc) syms
   in mono_lines @ decl_lines end