diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut.scrbl index 9c39b88564..e1d1f54398 100644 --- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut.scrbl +++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut.scrbl @@ -219,8 +219,8 @@ elements of the sequence in different ways: @exercise[] Use @racket[redex-match] to extract the body of the -function from this object-language program: -@racketblock[((λ (x) (+ x 1)) +@racket[λ] expression from this object-language program: +@racketblock[((λ (x num) (+ x 1)) 17)] @exercise[]