| changeset 45313 | 16bab9f1bb37 |
| parent 45213 | 92e03ea2b5cf |
| child 45418 | e5ef7aa77fde |
--- a/src/Tools/quickcheck.ML Mon Oct 31 08:22:56 2011 +0100 +++ b/src/Tools/quickcheck.ML Mon Oct 31 08:43:21 2011 +0100 @@ -219,8 +219,6 @@ val map_test_params = Data.map o apsnd o map_test_params' -(*val add_generator = Data.map o apfst o apfst o apfst o AList.update (op =);*) - val add_tester = Data.map o apfst o apfst o AList.update (op =); val add_batch_generator = Data.map o apfst o apsnd o apfst o AList.update (op =);