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