From 7189e553a0fb175e462f06ed66349d498262d4ef Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 27 Oct 2012 18:36:55 -0500 Subject: [PATCH] fix apparent type error in the definition of in-plt? original commit: 54301ad5ede34fc5000e1a0effa342036b9c0ba9 --- collects/scribble/html-render.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index cf33a004..e8f8ad4d 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -1597,7 +1597,7 @@ (list name))))))) (define in-plt? - (let ([roots (map explode (list (find-doc-dir) (find-collects-dir)))]) + (let ([roots (map explode (filter values (list (find-doc-dir) (find-collects-dir))))]) (lambda (path) (ormap (lambda (root) (let loop ([path path] [root root])