src/HOL/Quickcheck.thy

--- a/src/HOL/Quickcheck.thy	Mon Nov 22 11:34:55 2010 +0100
+++ b/src/HOL/Quickcheck.thy	Mon Nov 22 11:34:56 2010 +0100
@@ -3,7 +3,7 @@
 header {* A simple counterexample generator *}
 
 theory Quickcheck
-imports Random Code_Evaluation
+imports Random Code_Evaluation Enum
 uses ("Tools/quickcheck_generators.ML")
 begin