# HG changeset patch
# User bulwahn
# Date 1310989766 -7200
# Node ID 86ede854b4f5b7fe31fc3c5fc1b613bb8fde3ae4
# Parent  4690f76f327a4d5e32871702beb3b0cb39520594
unactivating narrowing-based quickcheck by default

diff -r 4690f76f327a -r 86ede854b4f5 src/HOL/Tools/Quickcheck/narrowing_generators.ML
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 18 13:48:35 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Mon Jul 18 13:49:26 2011 +0200
@@ -462,7 +462,7 @@
 
 (* setup *)
 
-val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K true);
+val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K false);
 
 val setup =
   Code.datatype_interpretation ensure_partial_term_of