changeset 35078 | 6fd1052fe463 |
parent 35076 | cc19e2aef17e |
child 35180 | c57dba973391 |
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy Tue Feb 09 16:05:49 2010 +0100 +++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy Tue Feb 09 16:07:51 2010 +0100 @@ -13,7 +13,7 @@ chapter {* 3. First Steps *} -nitpick_params [sat_solver = MiniSatJNI, max_threads = 1] +nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1] subsection {* 3.1. Propositional Logic *}