diff --git a/collects/planet/resolver.rkt b/collects/planet/resolver.rkt
index e04b0705c5..a0c3b7c2b9 100644
--- a/collects/planet/resolver.rkt
+++ b/collects/planet/resolver.rkt
@@ -550,7 +550,6 @@ subdirectory.
 ;; install the given pkg to the planet cache and return a PKG representing the
 ;; installed file
 (define (install-pkg pkg path maj min)
-  (printf "~s\n" (list 'install-pkg pkg path maj min))
   (let ([pkg-path (pkg-spec-path pkg)]
         [pkg-name (pkg-spec-name pkg)]
         [pkg-string (pkg-spec->string pkg)])