Fix xrepl tests.

2011-09-13 17:29:07 -04:00 · 2011-09-13 17:29:07 -04:00 · e61d472ed3
commit e61d472ed3
parent 89ef65a746
1 changed files with 1 additions and 1 deletions
--- 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 ***