small cleanup of contract

2017-03-11 13:06:22 -06:00 · 2017-03-11 13:06:22 -06:00 · faa385b337
commit faa385b337
parent 9b987800fb
1 changed files with 1 additions and 1 deletions
--- 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)