From b3b56fa3c8b10f9e24b317c846d952cf63dc8506 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 30 Nov 2012 14:01:40 -0700 Subject: [PATCH] unbreak PLaneT install --- collects/setup/plt-single-installer.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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