Fix typo introduced by 965a74453f

(Moral of story: be careful with regexps)
2012-08-21 16:35:37 -04:00 · 2012-08-21 16:35:37 -04:00 · 46ece20b09
commit 46ece20b09
parent 9a65f9aaf0
1 changed files with 1 additions and 1 deletions
--- a/collects/scribblings/reference/contracts.scrbl
+++ b/collects/scribblings/reference/contracts.scrbl
@ -1082,7 +1082,7 @@ earlier fields.}}
  (rename orig-id id contract-expr)
  (id contract-expr)
  (code:line #:∃ poly-variables)
-  (code:line #:poly exists-variables)
+  (code:line #:exists poly-variables)
  (code:line #:∀ poly-variables)
  (code:line #:forall poly-variables)]
 [poly-variables identifier