author | bulwahn |
Mon, 18 Jul 2011 13:49:26 +0200 | |
changeset 44763 | 86ede854b4f5 |
parent 44762 | 4690f76f327a |
child 44764 | f3e75541cb78 |
1.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Mon Jul 18 13:48:35 2011 +0200 1.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Mon Jul 18 13:49:26 2011 +0200 1.3 @@ -462,7 +462,7 @@ 1.4 1.5 (* setup *) 1.6 1.7 -val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K true); 1.8 +val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K false); 1.9 1.10 val setup = 1.11 Code.datatype_interpretation ensure_partial_term_of