--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Wed Jul 20 08:16:39 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Wed Jul 20 08:16:41 2011 +0200
@@ -285,9 +285,9 @@
end
in with_size 0 end
in
- Quickcheck.limit timeout (limit_time, is_interactive)
- (fn () => with_tmp_dir tmp_prefix run)
- (fn () => (message (excipit ()); (NONE, !current_result))) ()
+ (*Quickcheck.limit timeout (limit_time, is_interactive)
+ (fn () =>*) with_tmp_dir tmp_prefix run
+ (*(fn () => (message (excipit ()); (NONE, !current_result))) ()*)
end;
fun dynamic_value_strict opts cookie thy postproc t =