Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 45420 d17556b9a89b
parent 45419 10ba32c347b0
child 45685 e2e928af750b 
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Nov 09 11:34:59 2011 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Nov 09 11:35:09 2011 +0100
@@ -263,7 +263,7 @@
             (NONE, !current_result)
           else
             let
-              val _ = message ("[Quickcheck-Narrowing] Test data size: " ^ string_of_int k)
+              val _ = message ("[Quickcheck-narrowing] Test data size: " ^ string_of_int k)
               val _ = current_size := k
               val ((response, _), timing) = elapsed_time ("execution of size " ^ string_of_int k)
                 (fn () => Isabelle_System.bash_output (executable ^ " " ^ string_of_int k))
isabelle