diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt index 8fb8878933..4bad74e8b7 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/get-module-path.rkt @@ -14,7 +14,7 @@ #:pref [pref symbol?] #:dir? [dir? boolean?]) [res (dir?) - (if dir? + (if (or dir? (not (equal? dir? the-unsupplied-arg))) (listof path?) (or/c path? #f))])]))