diff --git a/collects/drracket/private/eval-helpers.rkt b/collects/drracket/private/eval-helpers.rkt index 64a69ec5a0c..eb286331f1a 100644 --- a/collects/drracket/private/eval-helpers.rkt +++ b/collects/drracket/private/eval-helpers.rkt @@ -82,9 +82,8 @@ #:security-guard (and use-current-security-guard? (current-security-guard)))) (let* ([cd (find-collects-dir)] - [no-dirs (if cd - (list (CACHE-DIR) cd) - (list (CACHE-DIR)))]) + [ad (find-system-path 'addon-dir)] + [no-dirs (filter values (list (CACHE-DIR) cd ad))]) (manager-skip-file-handler (λ (p) (file-stamp-in-paths p no-dirs))))))