1.1 --- a/src/HOL/Mutabelle/mutabelle_extra.ML	Fri Dec 03 09:55:45 2010 +0100
     1.2 +++ b/src/HOL/Mutabelle/mutabelle_extra.ML	Fri Dec 03 10:28:39 2010 +0100
     1.3 @@ -121,7 +121,7 @@
     1.4              (NONE, _) => (NoCex, ([], NONE))
     1.5            | (SOME _, _) => (GenuineCex, ([], NONE))) ()
     1.6    handle TimeLimit.TimeOut =>
     1.7 -         (Timeout, ([("timelimit", Real.floor !Auto_Tools.time_limit)], NONE))
     1.8 +         (Timeout, ([("timelimit", Real.floor (!Auto_Tools.time_limit))], NONE))
     1.9  
    1.10  fun quickcheck_mtd change_options quickcheck_generator =
    1.11    ("quickcheck_" ^ quickcheck_generator, invoke_quickcheck change_options quickcheck_generator)