src/HOL/Quickcheck.thy

--- a/src/HOL/Quickcheck.thy	Mon Oct 22 19:02:36 2012 +0200
+++ b/src/HOL/Quickcheck.thy	Mon Oct 22 22:24:34 2012 +0200
@@ -52,7 +52,7 @@
 begin
 
 definition
-  "random _ = Random.select chars \<circ>\<rightarrow> (\<lambda>c. Pair (c, \<lambda>u. Code_Evaluation.term_of c))"
+  "random _ = Random.select (Enum.enum :: char list) \<circ>\<rightarrow> (\<lambda>c. Pair (c, \<lambda>u. Code_Evaluation.term_of c))"
 
 instance ..
 
@@ -281,3 +281,4 @@
   iterate_upto not_randompred Random map
 
 end
+