Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
isabelle