Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/TPTP/mash_eval.ML
changeset 59058 a78612c67ec0
parent 58922 1f500b18c4c6
child 60641 f6e8293747fd 
--- a/src/HOL/TPTP/mash_eval.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/HOL/TPTP/mash_eval.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -66,7 +66,7 @@
         (if is_none outcome then
            "Success (" ^ ATP_Util.string_of_time run_time ^ "): " ^
            (used_facts |> map (with_index facts o fst)
-                       |> sort (int_ord o pairself fst)
+                       |> sort (int_ord o apply2 fst)
                        |> map index_str
                        |> space_implode " ") ^
            (if length facts < the max_facts then
isabelle