From e61d472ed3136a406a9a73264c753a532cbc389f Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Tue, 13 Sep 2011 17:29:07 -0400
Subject: [PATCH] Fix xrepl tests.

---
 collects/tests/xrepl/xrepl.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/tests/xrepl/xrepl.rkt b/collects/tests/xrepl/xrepl.rkt
index 40afaf2f72..5d959ffae5 100644
--- a/collects/tests/xrepl/xrepl.rkt
+++ b/collects/tests/xrepl/xrepl.rkt
@@ -113,7 +113,7 @@
   ; *** Initializing a new `typed/racket' namespace with typed/racket ***
   ; *** Switching to the `typed/racket' namespace ***
   typed/racket::-> «^»                  ⇒ works in TR too
-  - : Positive-Byte
+  - : Integer [generalized from Positive-Byte]
   123
   typed/racket::-> «,switch *»
   ; *** Switching to the `*' namespace ***