1.1 --- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sun Aug 01 15:51:25 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sun Aug 01 16:35:25 2010 +0200
     1.3 @@ -56,8 +56,8 @@
     1.4     ("star_linear_preds", "true"),
     1.5     ("fast_descrs", "true"),
     1.6     ("peephole_optim", "true"),
     1.7 -   ("datatype_sym_break", "20"),
     1.8 -   ("kodkod_sym_break", "20"),
     1.9 +   ("datatype_sym_break", "5"),
    1.10 +   ("kodkod_sym_break", "15"),
    1.11     ("timeout", "30 s"),
    1.12     ("tac_timeout", "500 ms"),
    1.13     ("max_threads", "0"),