fix non-terminal reference

2013-04-06 08:06:27 -05:00 · 2013-04-06 08:06:27 -05:00 · 8231db1961
commit 8231db1961
parent 47c1334f6d
1 changed files with 2 additions and 2 deletions
--- 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)]