From faa385b3378d23b88ea5a9ca07d4c069a2e1e096 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 11 Mar 2017 13:06:22 -0600 Subject: [PATCH] small cleanup of contract --- pkgs/racket-doc/scribblings/reference/numbers.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/reference/numbers.scrbl b/pkgs/racket-doc/scribblings/reference/numbers.scrbl index 4a06ccee48..855da58169 100644 --- a/pkgs/racket-doc/scribblings/reference/numbers.scrbl +++ b/pkgs/racket-doc/scribblings/reference/numbers.scrbl @@ -787,7 +787,7 @@ but it is faster and runs in constant time when @racket[n] is positive. @defproc[(bitwise-bit-field [n exact-integer?] [start exact-nonnegative-integer?] [end (and/c exact-nonnegative-integer? - (start . <= . end))]) + (>=/c start))]) exact-integer?]{ Extracts the bits between position @racket[start] and @racket[(- end 1)] (inclusive)