From 9c6da083e43070825c60c9ed36d0224abff76463 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 7 Jul 2002 19:37:36 +0000 Subject: [PATCH] . original commit: 2bfdfedacaa0fd044ca6198ebb8074d61fd38b6a --- collects/launcher/launcher-sig.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss index 6101935a3e..3ead958040 100644 --- a/collects/launcher/launcher-sig.ss +++ b/collects/launcher/launcher-sig.ss @@ -20,6 +20,7 @@ mred-launcher-up-to-date? mzscheme-launcher-up-to-date? + build-aux-from-path current-launcher-variant available-mred-variants available-mzscheme-variants)))