pkg/strip: allow any info library path

2013-07-05 07:17:40 -06:00 · 2013-07-05 07:17:40 -06:00 · 5c14def43f
commit 5c14def43f
parent fb052532c0
1 changed files with 2 additions and 2 deletions
--- a/racket/lib/collects/pkg/strip.rkt
+++ b/racket/lib/collects/pkg/strip.rkt
@ -197,8 +197,8 @@
    ;; convert:
    (define new-content
      (match content
-        [`(module info info (#%module-begin . ,defns))
-         `(module info info
+        [`(module info ,info-lib (#%module-begin . ,defns))
+         `(module info ,info-lib
            (#%module-begin
             (define assume-virtual-sources '())
             . ,(filter values