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/Tools/Spec_Check/output_style.ML
changeset 59058 a78612c67ec0
parent 53171 a5e54d4d9081 
--- a/src/Tools/Spec_Check/output_style.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/Tools/Spec_Check/output_style.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -24,7 +24,7 @@
         val countw = 20
         val allw = namew + resultw + countw + 2
 
-        val maybe_sort = if sort_examples then sort (int_ord o pairself size) else I
+        val maybe_sort = if sort_examples then sort (int_ord o apply2 size) else I
 
         fun result ({count = 0, ...}, _) _ = "dubious"
           | result (_ : Property.stats, badobjs) false = if null badobjs then "ok" else "FAILED"
isabelle