diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 2f73de57..b6968a13 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -6515,7 +6515,7 @@ (with-handlers ([void #f]) (let-values ([(base name dir?) (split-path v)]) (let ([super (and (not dir?) - (or (and (string? base) + (or (and (path? base) (directory-exists? base) base) (and (eq? base 'relative)