From 0b00549658337028ceaadcc9c6f51cb8d2fc004d Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 29 Apr 2019 14:58:59 -0700 Subject: [PATCH] typo --- xenomorph/xenomorph/scribblings/xenomorph.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xenomorph/xenomorph/scribblings/xenomorph.scrbl b/xenomorph/xenomorph/scribblings/xenomorph.scrbl index 821a2b61..d0684213 100644 --- a/xenomorph/xenomorph/scribblings/xenomorph.scrbl +++ b/xenomorph/xenomorph/scribblings/xenomorph.scrbl @@ -1065,7 +1065,7 @@ Whether @racket[x] is an object of type @racket[x:pointer%]. x:pointer?]{ Generate an instance of @racket[x:pointer%] (or a subclass of @racket[x:pointer%]) with certain optional attributes. -@racket[ptr-dest-type-arg] or @racket[ptr-type-kw] (whichever is provided, though @racket[ptr-dest-type-arg] takes precedence) controls the type of the pointer value itself, which must be an @racket[x:int?]). Default is @racket[uint32]. +@racket[ptr-type-arg] or @racket[ptr-type-kw] (whichever is provided, though @racket[ptr-type-arg] takes precedence) controls the type of the pointer value itself, which must be an @racket[x:int?]). Default is @racket[uint32]. @racket[dest-type-arg] or @racket[dest-type-kw] (whichever is provided, though @racket[dest-type-arg] takes precedence) controls the type of the thing being pointed at, which must be a @racket[xenomorphic?] object or the symbol @racket['void] to indicate a void pointer. Default is @racket[uint8].