diff --git a/collects/setup/plt-single-installer.rkt b/collects/setup/plt-single-installer.rkt index 3b8a3184b7..1772212ee4 100644 --- a/collects/setup/plt-single-installer.rkt +++ b/collects/setup/plt-single-installer.rkt @@ -38,7 +38,7 @@ (setup #:jobs 1 #:file file #:get-target-dir get-target-dir - #:planet-spec (and planet-spec (list planet-spec)) + #:planet-specs (and planet-spec (list planet-spec)) #:collections collections)))) (dynamic-wind void