changeset 51658 | 21c10672633b |
parent 51557 | 4e4b56b7a3a5 |
child 52006 | 9402221f77dd |
--- a/src/Tools/quickcheck.ML Tue Apr 09 13:55:28 2013 +0200 +++ b/src/Tools/quickcheck.ML Tue Apr 09 15:29:25 2013 +0200 @@ -533,7 +533,7 @@ Outer_Syntax.improper_command @{command_spec "quickcheck"} "try to find counterexample for subgoal" (parse_args -- Scan.optional Parse.nat 1 >> (fn (args, i) => - Toplevel.no_timing o Toplevel.unknown_proof o Toplevel.keep (quickcheck_cmd args i))); + Toplevel.unknown_proof o Toplevel.keep (quickcheck_cmd args i))); (* automatic testing *)