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
authorblanchet
Fri, 03 Dec 2010 10:28:39 +0100
changeset 40932 b9f56b4025d2
parent 40931 061b8257ab9f
child 40933 5cd8464dccbb
compile
src/HOL/Mutabelle/mutabelle_extra.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mutabelle/mutabelle_extra.ML	Fri Dec 03 09:55:45 2010 +0100
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML	Fri Dec 03 10:28:39 2010 +0100
@@ -121,7 +121,7 @@
             (NONE, _) => (NoCex, ([], NONE))
           | (SOME _, _) => (GenuineCex, ([], NONE))) ()
   handle TimeLimit.TimeOut =>
-         (Timeout, ([("timelimit", Real.floor !Auto_Tools.time_limit)], NONE))
+         (Timeout, ([("timelimit", Real.floor (!Auto_Tools.time_limit))], NONE))
 
 fun quickcheck_mtd change_options quickcheck_generator =
   ("quickcheck_" ^ quickcheck_generator, invoke_quickcheck change_options quickcheck_generator)
isabelle