
diff -r d1c14898fd04 -r 03156257040f src/HOL/Nitpick_Examples/Manual_Nits.thy
--- 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 *}
 




