diff --git a/collects/setup/sig.ss b/collects/setup/option-sig.ss similarity index 91% rename from collects/setup/sig.ss rename to collects/setup/option-sig.ss index 8249020cee..780485d8e0 100644 --- a/collects/setup/sig.ss +++ b/collects/setup/option-sig.ss @@ -1,5 +1,5 @@ -(module sig mzscheme +(module option-sig mzscheme (import (lib "unitsig.ss")) (export setup-option^)