From 193f365bebaaab20805996e4b9f0c9af7cdf2af8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 25 Oct 2001 00:11:31 +0000 Subject: [PATCH] . original commit: de8c1c6e98706b3818e0ce3309f8692db14a20f9 --- collects/mred/mred.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index a54bc1be..a3dc96a8 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -5690,7 +5690,7 @@ [else (constructor-name (cadr who))])) (define (label-string? s) - (and (string? s) #t)) ; (<= 0 (string-length s) 200))) + (and (string? s) (<= 0 (string-length s) 200))) (define (check-instance who class class-name false-ok? v) (unless (or (and false-ok? (not v)) (is-a? v class))