# HG changeset patch
# User bulwahn
# Date 1320047001 -3600
# Node ID 16bab9f1bb374faa29d57584daa0ad1b0d486881
# Parent  6fd16567710954c6f9c3363bc7de9f650ec6a22d
tuned

diff -r 6fd165677109 -r 16bab9f1bb37 src/Tools/quickcheck.ML
--- 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 =);