1.1 --- a/src/HOL/Tools/Nitpick/nitpick_rep.ML	Thu Feb 25 10:08:44 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_rep.ML	Thu Feb 25 16:33:39 2010 +0100
     1.3 @@ -299,7 +299,7 @@
     1.4       | z => Func z)
     1.5    | best_non_opt_set_rep_for_type scope T = best_one_rep_for_type scope T
     1.6  fun best_set_rep_for_type (scope as {datatypes, ...}) T =
     1.7 -  (if is_exact_type datatypes T then best_non_opt_set_rep_for_type
     1.8 +  (if is_exact_type datatypes true T then best_non_opt_set_rep_for_type
     1.9     else best_opt_set_rep_for_type) scope T
    1.10  fun best_non_opt_symmetric_reps_for_fun_type (scope as {ofs, ...})
    1.11                                               (Type ("fun", [T1, T2])) =