# HG changeset patch
# User blanchet
# Date 1277122020 -7200
# Node ID 6849464ab10eb2dbac6320f0d73139ee94366b4a
# Parent  bd80d84b904d7c839aa5921cc620a75241950d9a
sort cases on the proper key

diff -r bd80d84b904d -r 6849464ab10e src/HOL/Tools/Nitpick/nitpick_hol.ML
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Jun 21 13:35:10 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Jun 21 14:07:00 2010 +0200
@@ -1523,7 +1523,7 @@
                   discriminate_value hol_ctxt x (Bound 0)))
       |> AList.group (op aconv)
       |> map (apsnd (List.foldl s_disj @{const False}))
-      |> sort (int_ord o pairself (size_of_term o fst))
+      |> sort (int_ord o pairself (size_of_term o snd))
       |> rev
   in
     if res_T = bool_T then