# HG changeset patch
# User bulwahn
# Date 1323429661 -3600
# Node ID 4096351375cc757763a371fe7c565215a53c028f
# Parent  d985ec9748156b1b8009bacb1392f11dead86db2
tuned quickcheck's response

diff -r d985ec974815 -r 4096351375cc src/HOL/Tools/Quickcheck/quickcheck_common.ML
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Fri Dec 09 11:31:13 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Fri Dec 09 12:21:01 2011 +0100
@@ -113,6 +113,7 @@
         !current_result)
     | SOME test_fun =>
       let
+        val _ = Quickcheck.message ctxt ("Testing conjecture with with Quickcheck-" ^ name ^ "...");
         val (response, exec_time) =
           cpu_time "quickcheck execution" (fn () => with_size test_fun genuine_only 1)
         val _ = Quickcheck.add_response names eval_terms response current_result