# HG changeset patch
# User bulwahn
# Date 1310978061 -7200
# Node ID 59ba3dbd14004412fd988b67d2090d5baacf717e
# Parent  aacbe67793c38f7271fdab6074c39b6c8596310d
quickcheck does not deactivate testers if none are given

diff -r aacbe67793c3 -r 59ba3dbd1400 src/Tools/quickcheck.ML
--- a/src/Tools/quickcheck.ML	Mon Jul 18 10:34:21 2011 +0200
+++ b/src/Tools/quickcheck.ML	Mon Jul 18 10:34:21 2011 +0200
@@ -233,7 +233,8 @@
     map snd (filter (fn (active, _) => Config.get ctxt active) testers)
   end
   
-fun set_active_testers testers gen_ctxt =
+fun set_active_testers [] gen_ctxt = gen_ctxt
+  | set_active_testers testers gen_ctxt =
   let
     val registered_testers = (fst o fst o Data.get) gen_ctxt
   in