From 1d1a58fa85a3f5ed74f883d2a4c2cbaf719c5e4e Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Tue, 8 Nov 2011 22:24:34 -0500
Subject: [PATCH] oops, just the cs019 docs

---
 scribblings/manual.scrbl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scribblings/manual.scrbl b/scribblings/manual.scrbl
index 81f2eb4..b4aed56 100644
--- a/scribblings/manual.scrbl
+++ b/scribblings/manual.scrbl
@@ -29,8 +29,7 @@
                                 number?
                                 newline
                                 current-output-port
-                                display
-                                ...))
+                                display))
           (for-label (this-package-in resource)
           (for-label (this-package-in web-world))))