From 8231db196196cd5b40bb0fac75782a59ee23a127 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 6 Apr 2013 08:06:27 -0500 Subject: [PATCH] fix non-terminal reference --- collects/scribblings/reference/contracts.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)]