changeset 40341 | 03156257040f |
parent 39362 | ee65900bfced |
child 41278 | 8e1cde88aae6 |
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy Wed Nov 03 20:19:24 2010 +0100 +++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy Wed Nov 03 22:26:53 2010 +0100 @@ -17,7 +17,7 @@ chapter {* 3. First Steps *} -nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s] +nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60] subsection {* 3.1. Propositional Logic *}