diff --git a/collects/2htdp/private/image-more.rkt b/collects/2htdp/private/image-more.rkt index 78bc2de002..a63a62928a 100644 --- a/collects/2htdp/private/image-more.rkt +++ b/collects/2htdp/private/image-more.rkt @@ -1372,14 +1372,14 @@ (define build-pen/make-pen (let ([orig-make-pen make-pen]) - (define/chk (make-pen color real-0-255 pen-style pen-cap pen-join) - (orig-make-pen color real-0-255 pen-style pen-cap pen-join)) + (define/chk (make-pen color int-0-255 pen-style pen-cap pen-join) + (orig-make-pen color int-0-255 pen-style pen-cap pen-join)) make-pen)) (define build-pen/pen (let ([orig-make-pen make-pen]) - (define/chk (pen color real-0-255 pen-style pen-cap pen-join) - (orig-make-pen color real-0-255 pen-style pen-cap pen-join)) + (define/chk (pen color int-0-255 pen-style pen-cap pen-join) + (orig-make-pen color int-0-255 pen-style pen-cap pen-join)) pen)) (define/chk freeze diff --git a/collects/2htdp/private/img-err.rkt b/collects/2htdp/private/img-err.rkt index 62f13518dc..e68488f185 100644 --- a/collects/2htdp/private/img-err.rkt +++ b/collects/2htdp/private/img-err.rkt @@ -253,9 +253,9 @@ (check-arg fn-name (and (integer? arg) (<= 0 arg 255)) 'integer\ between\ 0\ and\ 255 i arg) arg] - [(real-0-255) + [(int-0-255) (check-arg fn-name (and (integer? arg) (<= 0 arg 255)) - 'real\ number\ between\ 0\ and\ 255 i arg) + 'integer\ between\ 0\ and\ 255 i arg) arg] [(pen-style)