diff --git a/collects/launcher/launcher-sig.ss b/collects/launcher/launcher-sig.ss index 50b5d11ffa..689b354a95 100644 --- a/collects/launcher/launcher-sig.ss +++ b/collects/launcher/launcher-sig.ss @@ -15,5 +15,8 @@ mzscheme-program-launcher-path install-mred-program-launcher - install-mzscheme-program-launcher))) + install-mzscheme-program-launcher + current-launcher-variant + available-mred-variants + available-mzscheme-variants)))