Fixed contract for `check-reduction-relation'

svn: r13112
2009-01-14 14:09:13 +00:00 · 2009-01-14 14:09:13 +00:00 · 286ef262c7
commit 286ef262c7
parent 4759e25019
1 changed files with 1 additions and 1 deletions
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@ -1095,7 +1095,7 @@ pattern does not match the @scheme[pattern].}
          [relation reduction-relation?]
          [property (-> any/c any/c)]
          [#:attempts attempts natural-number/c 100])
-         (or/c true/c void?)]{
+         void?]{
 Tests a @scheme[relation] as follows: for each case of @scheme[relation],
@scheme[check-reduction-relation] generates @scheme[attempts] random
 terms that match that case's left-hand side and applies @scheme[property]