diff --git a/collects/profj/libs/java/tester/info.ss b/collects/profj/libs/java/tester/info.ss index 52b20ab1dd..d1c30e3152 100644 --- a/collects/profj/libs/java/tester/info.ss +++ b/collects/profj/libs/java/tester/info.ss @@ -1,3 +1,4 @@ #lang setup/infotab +(define assume-virtual-sources #t) ;; (define install-collection "installer.ss")