diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 9e4660b525..b086ea4528 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -787,13 +787,13 @@ symbols, and that return a symbol. [(->i (mandatory-dependent-dom ...) dependent-rest pre-condition - dep-range + dependent-range post-condition) (->i (mandatory-dependent-dom ...) (optional-dependent-dom ...) dependent-rest pre-condition - dep-range + dependent-range post-condition)] ([mandatory-dependent-dom id+ctc (code:line keyword id+ctc)]