# HG changeset patch
# User haftmann
# Date 1313700617 -7200
# Node ID 4846f3f320d9fbd90c354b474e2e1a74268367d3
# Parent  360fcbb1aa0193f63996e1a08a4cf6e160d2d02b# Parent  7496258e44e4a17a299d59e6b0df7237ba407afa
merged

diff -r 7496258e44e4 -r 4846f3f320d9 src/HOL/Tools/Quickcheck/narrowing_generators.ML
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Aug 18 14:01:06 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Aug 18 22:50:17 2011 +0200
@@ -465,7 +465,7 @@
 
 (* setup *)
 
-val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K false);
+val active = Attrib.setup_config_bool @{binding quickcheck_narrowing_active} (K true);
 
 val setup =
   Code.datatype_interpretation ensure_partial_term_of
@@ -474,4 +474,4 @@
     (((@{sort typerep}, @{sort term_of}), @{sort narrowing}), instantiate_narrowing_datatype))
   #> Context.theory_map (Quickcheck.add_tester ("narrowing", (active, test_goals)))
     
-end;
\ No newline at end of file
+end;