src/Tools/quickcheck.ML
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