removing declaration in quickcheck to really enable exhaustive testing
authorbulwahn
Mon Dec 06 10:52:45 2010 +0100 (2010-12-06)
changeset 40973890fefa597af
parent 40972 ce78ef6a909b
child 40974 29e5cae93584
removing declaration in quickcheck to really enable exhaustive testing
src/HOL/Quickcheck.thy
     1.1 --- a/src/HOL/Quickcheck.thy	Mon Dec 06 10:52:44 2010 +0100
     1.2 +++ b/src/HOL/Quickcheck.thy	Mon Dec 06 10:52:45 2010 +0100
     1.3 @@ -129,7 +129,6 @@
     1.4  use "Tools/quickcheck_generators.ML"
     1.5  setup Quickcheck_Generators.setup
     1.6  
     1.7 -declare [[quickcheck_tester = random]]
     1.8  
     1.9  subsection {* Code setup *}
    1.10