--- a/src/HOL/Quickcheck.thy Mon Dec 06 10:52:44 2010 +0100
+++ b/src/HOL/Quickcheck.thy Mon Dec 06 10:52:45 2010 +0100
@@ -129,7 +129,6 @@
use "Tools/quickcheck_generators.ML"
setup Quickcheck_Generators.setup
-declare [[quickcheck_tester = random]]
subsection {* Code setup *}