1.1 --- a/src/HOL/Tools/Nitpick/nitpick_nut.ML	Tue Jun 01 15:43:20 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_nut.ML	Tue Jun 01 15:53:15 2010 +0200
     1.3 @@ -689,7 +689,8 @@
     1.4        forall is_fully_representable_set [u1, u2]
     1.5      else if oper = Apply then
     1.6        case u1 of
     1.7 -        ConstName (s, _, _) => is_sel_like_and_no_discr s
     1.8 +        ConstName (s, _, _) =>
     1.9 +        is_sel_like_and_no_discr s orelse s = @{const_name set}
    1.10        | _ => false
    1.11      else
    1.12        false