src/HOL/Nitpick_Examples/Record_Nits.thy
changeset 42208 02513eb26eb7
parent 41278 8e1cde88aae6
child 42959 ee829022381d
     1.1 --- a/src/HOL/Nitpick_Examples/Record_Nits.thy	Sun Apr 03 11:40:32 2011 +0200
     1.2 +++ b/src/HOL/Nitpick_Examples/Record_Nits.thy	Mon Apr 04 09:32:50 2011 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  begin
     1.5  
     1.6  nitpick_params [verbose, card = 1\<midarrow>6, max_potential = 0,
     1.7 -                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60]
     1.8 +                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 240]
     1.9  
    1.10  record point2d =
    1.11    xc :: int