From 4ce56d00efd7393a16790e06a99301e48872d395 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Thu, 16 Sep 2010 11:28:21 -0600
Subject: [PATCH] Fixing xref re Robby

---
 collects/web-server/scribblings/servlet-env.scrbl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/web-server/scribblings/servlet-env.scrbl b/collects/web-server/scribblings/servlet-env.scrbl
index 4bbd6307fc..205291bdbd 100644
--- a/collects/web-server/scribblings/servlet-env.scrbl
+++ b/collects/web-server/scribblings/servlet-env.scrbl
@@ -6,6 +6,7 @@
 @(require (for-label web-server/servlet-env
                      web-server/http
                      web-server/managers/lru
+                     web-server/managers/manager
                      web-server/lang/lang-api
                      web-server/private/util
                      web-server/dispatchers/dispatch