unbreak PLaneT install

2012-11-30 14:01:40 -07:00 · 2012-11-30 14:01:40 -07:00 · b3b56fa3c8
commit b3b56fa3c8
parent fa21ce397c
1 changed files with 1 additions and 1 deletions
--- 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