From 46ece20b09fcb0cd7726138849716786c8e68b89 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Tue, 21 Aug 2012 16:35:37 -0400
Subject: [PATCH] Fix typo introduced by 965a74453f89e

(Moral of story: be careful with regexps)
---
 collects/scribblings/reference/contracts.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl
index 712b94451c..687b308545 100644
--- 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