From 286ef262c769457f60795d8e757ef421d6eedfaf Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Wed, 14 Jan 2009 14:09:13 +0000
Subject: [PATCH] Fixed contract for `check-reduction-relation'

svn: r13112
---
 collects/redex/redex.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index 34c0415cd6..bdb49f38e5 100644
--- 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]