# HG changeset patch
# User bulwahn
# Date 1302273074 -7200
# Node ID d0bea229a9ce066a9ad09434620bbe7d84c5a50a
# Parent  5bf3b9612e434804061e6714cdf718c8e3a386ff
switching fast compilation off by default for now in exhaustive quickcheck

diff -r 5bf3b9612e43 -r d0bea229a9ce src/HOL/Tools/Quickcheck/exhaustive_generators.ML
--- a/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Apr 08 16:31:14 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/exhaustive_generators.ML	Fri Apr 08 16:31:14 2011 +0200
@@ -32,7 +32,7 @@
   Attrib.config_bool "quickcheck_smart_quantifier" (K true)
 
 val (fast, setup_fast) =
-  Attrib.config_bool "quickcheck_fast" (K true)
+  Attrib.config_bool "quickcheck_fast" (K false)
   
 val (full_support, setup_full_support) =
   Attrib.config_bool "quickcheck_full_support" (K true)