--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Thu Aug 18 16:52:19 2011 +0900
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Thu Aug 18 12:06: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;