src/HOL/Nitpick_Examples/Record_Nits.thy
changeset 35284 9edc2bd6d2bd
parent 35078 6fd1052fe463
child 38185 b51677438b3a
     1.1 --- a/src/HOL/Nitpick_Examples/Record_Nits.thy	Mon Feb 22 14:36:10 2010 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Record_Nits.thy	Mon Feb 22 19:31:00 2010 +0100
     1.3 @@ -11,7 +11,8 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s]
     1.8 +nitpick_params [max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1,
     1.9 +                timeout = 60 s]
    1.10  
    1.11  record point2d =
    1.12    xc :: int