src/HOL/Tools/try0.ML

--- a/src/HOL/Tools/try0.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/HOL/Tools/try0.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -118,7 +118,7 @@
     val st = Proof.map_contexts (silence_methods false) st;
     fun trd (_, _, t) = t;
     fun par_map f =
-      if mode = Normal then Par_List.map f #> map_filter I #> sort (int_ord o pairself trd)
+      if mode = Normal then Par_List.map f #> map_filter I #> sort (int_ord o apply2 trd)
       else Par_List.get_some f #> the_list;
   in
     if mode = Normal then