From def0ec7c01e36e518d213571802fc49f956bcb39 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Fri, 3 May 2013 12:15:50 -0400
Subject: [PATCH] Fix docs for Opaque

Closes PR 13531
(cherry picked from commit 7c96321cd43540aad9f444000fb1fb1449d086e8)
---
 collects/typed-racket/scribblings/reference/types.scrbl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl
index 9af8bfe6b8..46691cd12f 100644
--- a/collects/typed-racket/scribblings/reference/types.scrbl
+++ b/collects/typed-racket/scribblings/reference/types.scrbl
@@ -516,6 +516,7 @@ argument.}
 @section{Other Types}
 
 @defform[(Option t)]{Either @racket[t] or @racket[#f]}
-@defform[(Opaque t)]{A type constructed using @racket[require-opaque-type].}
+@defform[(Opaque t)]{A type constructed using the @racket[#:opaque]
+clause of @racket[require/typed].}
 
 @(close-eval the-eval)