changeset 43884 | 59ba3dbd1400 |
parent 43883 | aacbe67793c3 |
child 43912 | 13e6a4e70219 |
--- 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