1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML Fri Mar 04 17:39:30 2011 +0100
1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML Wed Mar 09 10:25:29 2011 +0100
1.3 @@ -521,7 +521,8 @@
1.4 val min_univ_card =
1.5 NameTable.fold (Integer.max o min_univ_card_of_rep o snd) rep_table
1.6 (univ_card nat_card int_card main_j0 [] KK.True)
1.7 - val _ = check_arity guiltiest_party min_univ_card min_highest_arity
1.8 + val _ = if debug then ()
1.9 + else check_arity guiltiest_party min_univ_card min_highest_arity
1.10
1.11 val def_us =
1.12 def_us |> map (choose_reps_in_nut scope unsound rep_table true)
1.13 @@ -584,7 +585,7 @@
1.14 fold Integer.max (map (fst o fst) (maps fst bounds)) 0
1.15 val formula = fold_rev s_and axioms formula
1.16 val _ = if bits = 0 then () else check_bits bits formula
1.17 - val _ = if formula = KK.False then ()
1.18 + val _ = if debug orelse formula = KK.False then ()
1.19 else check_arity "" univ_card highest_arity
1.20 in
1.21 SOME ({comment = comment, settings = settings, univ_card = univ_card,