src/Tools/Spec_Check/output_style.ML

 
         val resultw = 8
         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"
           | result ({count, tags}, badobjs) true =
               if not (null badobjs) then "FAILED"