Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
compile
authorwenzelm
Sat, 13 Jul 2013 00:24:05 +0200
changeset 52640 38679321b251
parent 52639 df830310e550
child 52641 c56b6fa636e8
compile
src/HOL/Mutabelle/mutabelle_extra.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mutabelle/mutabelle_extra.ML	Fri Jul 12 23:45:05 2013 +0200
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML	Sat Jul 13 00:24:05 2013 +0200
@@ -120,7 +120,7 @@
             | SOME _ => (GenuineCex, Quickcheck.timings_of result)
           end) ()
   handle TimeLimit.TimeOut =>
-         (Timeout, [("timelimit", Real.floor (Options.default_real @{option auto_time_limit})])
+         (Timeout, [("timelimit", Real.floor (Options.default_real @{option auto_time_limit}))])
 
 fun quickcheck_mtd change_options quickcheck_generator =
   ("quickcheck_" ^ quickcheck_generator, invoke_quickcheck change_options)
isabelle