--- a/src/Tools/quickcheck.ML Tue May 31 15:45:26 2011 +0200
+++ b/src/Tools/quickcheck.ML Tue May 31 15:45:27 2011 +0200
@@ -567,7 +567,9 @@
| read_expectation "counterexample" = Counterexample
| read_expectation s = error ("Not an expectation value: " ^ s)
-fun valid_tester_name genctxt = AList.defined (op =) (fst (fst (fst (Data.get genctxt))))
+fun valid_tester_name genctxt name =
+ AList.defined (op =) (fst (fst (fst (Data.get genctxt)))) name orelse
+ AList.defined (op =) (snd (fst (fst (Data.get genctxt)))) name
fun parse_tester name genctxt =
if valid_tester_name genctxt name then