diff --git a/collects/scribblings/reference/stx-ops.scrbl b/collects/scribblings/reference/stx-ops.scrbl index 9a194b174d..0afe1326f1 100644 --- a/collects/scribblings/reference/stx-ops.scrbl +++ b/collects/scribblings/reference/stx-ops.scrbl @@ -151,7 +151,8 @@ needed to strip lexical and source-location information recursively.} (or/c exact-positive-integer? #f) (or/c exact-nonnegative-integer? #f) (or/c exact-nonnegative-integer? #f) - (or/c exact-positive-integer? #f)))] + (or/c exact-positive-integer? #f))) + #f] [prop (or/c syntax? #f) #f] [cert (or/c syntax? #f) #f]) syntax?]{