--- a/src/HOL/Mutabelle/MutabelleExtra.thy Wed Nov 03 20:19:24 2010 +0100
+++ b/src/HOL/Mutabelle/MutabelleExtra.thy Wed Nov 03 22:26:53 2010 +0100
@@ -27,7 +27,7 @@
quickcheck_params [size = 5, iterations = 1000]
(*
-nitpick_params [timeout = 5 s, sat_solver = MiniSat, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
+nitpick_params [timeout = 5, sat_solver = MiniSat, no_overlord, verbose, card = 1-5, iter = 1,2,4,8,12]
refute_params [maxtime = 10, minsize = 1, maxsize = 5, satsolver = jerusat]
*)
ML {* Auto_Tools.time_limit := 10 *}