From d0dabc71363636bb04655be79e8d563cbb1a87b6 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 27 Jun 2010 11:15:53 -0600
Subject: [PATCH] fix pkg-install contract  Closes PR 10986

---
 collects/planet/util.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/planet/util.rkt b/collects/planet/util.rkt
index af679bdd5a..fe12e2d0a0 100644
--- a/collects/planet/util.rkt
+++ b/collects/planet/util.rkt
@@ -63,7 +63,7 @@
  [download/install-pkg
   (-> string? string? natural-number/c any/c (or/c pkg? #f))]
  [install-pkg
-  (-> pkg-spec? string? natural-number/c any/c (or/c pkg? #f))]
+  (-> pkg-spec? path-string? natural-number/c any/c (or/c pkg? #f))]
  [add-hard-link 
   (-> string? string? natural-number/c natural-number/c path? void?)]
  [remove-hard-link