changeset 37457 | 6849464ab10e |
parent 37451 | 0681e46b4022 |
child 37591 | d3daea901123 |
1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Jun 21 13:35:10 2010 +0200 1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon Jun 21 14:07:00 2010 +0200 1.3 @@ -1523,7 +1523,7 @@ 1.4 discriminate_value hol_ctxt x (Bound 0))) 1.5 |> AList.group (op aconv) 1.6 |> map (apsnd (List.foldl s_disj @{const False})) 1.7 - |> sort (int_ord o pairself (size_of_term o fst)) 1.8 + |> sort (int_ord o pairself (size_of_term o snd)) 1.9 |> rev 1.10 in 1.11 if res_T = bool_T then