changeset 55893 | aed17a173d16 |
parent 54680 | 93f6d33a754e |
child 58889 | 5b7a9633cfa8 |
--- a/src/HOL/Nitpick_Examples/Record_Nits.thy Mon Mar 03 22:33:22 2014 +0100 +++ b/src/HOL/Nitpick_Examples/Record_Nits.thy Mon Mar 03 23:05:30 2014 +0100 @@ -11,7 +11,7 @@ imports Main begin -nitpick_params [verbose, card = 1\<emdash>6, max_potential = 0, +nitpick_params [verbose, card = 1-6, max_potential = 0, sat_solver = MiniSat_JNI, max_threads = 1, timeout = 240] record point2d =