1.1 --- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Apr 08 16:31:14 2011 +0200
     1.2 +++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Apr 08 16:31:14 2011 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4    Attrib.config_bool "quickcheck_smart_quantifier" (K true)
     1.5  
     1.6  val (fast, setup_fast) =
     1.7 -  Attrib.config_bool "quickcheck_fast" (K true)
     1.8 +  Attrib.config_bool "quickcheck_fast" (K false)
     1.9    
    1.10  val (full_support, setup_full_support) =
    1.11    Attrib.config_bool "quickcheck_full_support" (K true)