tuned

--- 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 =);