From 73c5d2a546c24b09a2878cae46e68ed1ae844e19 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Fri, 22 Apr 2011 09:29:54 -0500 Subject: [PATCH] Fixes typo in redex-check docs Closes PR 11868 --- 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 34569a7965..2b49d14a4e 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -1358,7 +1358,7 @@ using the @racket[match-bindings] produced by @racket[match]ing random terms in its search. The size and complexity of these terms tend to increase with each failed attempt. The @racket[#:attempt-size] keyword determines the rate at which terms grow by supplying a function that bounds term size based on the number of failed -attempts (see @racket[generate-term]'s @racket[#:size] keyword). By default, the bound +attempts (see @racket[generate-term]'s @racket[size-expr] argument). By default, the bound grows according to the @racket[default-attempt-size] function. When @racket[print?-expr] produces any non-@racket[#f] value (the default),