src/Tools/quickcheck.ML
changeset 43114 b9fca691addd
parent 43113 7226051e8b89
child 43147 70337ff0352d
--- 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