1.1 --- a/src/HOL/Nitpick_Examples/Special_Nits.thy Tue Feb 09 16:05:49 2010 +0100
1.2 +++ b/src/HOL/Nitpick_Examples/Special_Nits.thy Tue Feb 09 16:07:51 2010 +0100
1.3 @@ -11,7 +11,7 @@
1.4 imports Main
1.5 begin
1.6
1.7 -nitpick_params [sat_solver = MiniSatJNI, max_threads = 1, timeout = 60 s,
1.8 +nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s,
1.9 card = 4]
1.10
1.11 fun f1 :: "nat \<Rightarrow> nat \<Rightarrow> nat \<Rightarrow> nat \<Rightarrow> nat \<Rightarrow> nat" where