src/Pure/goal_display.ML

--- a/src/Pure/goal_display.ML	Wed Aug 12 21:38:39 2015 +0200
+++ b/src/Pure/goal_display.ML	Thu Aug 13 11:05:19 2015 +0200
@@ -58,7 +58,7 @@
     | _ => I);
 
 fun sort_idxs vs = map (apsnd (sort (prod_ord string_ord int_ord))) vs;
-fun sort_cnsts cs = map (apsnd (sort_wrt fst)) cs;
+fun sort_cnsts cs = map (apsnd (sort_by fst)) cs;
 
 fun consts_of t = sort_cnsts (add_consts t []);
 fun vars_of t = sort_idxs (add_vars t []);