src/HOL/Nitpick_Examples/Core_Nits.thy

--- a/src/HOL/Nitpick_Examples/Core_Nits.thy	Wed Nov 03 20:19:24 2010 +0100
+++ b/src/HOL/Nitpick_Examples/Core_Nits.thy	Wed Nov 03 22:26:53 2010 +0100
@@ -12,7 +12,7 @@
 begin
 
 nitpick_params [card = 1\<midarrow>6, unary_ints, max_potential = 0,
-                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60 s]
+                sat_solver = MiniSat_JNI, max_threads = 1, timeout = 60]
 
 subsection {* Curry in a Hurry *}