From dd45c9344807b63c9eb7f36e1469c3d38a0c8bf6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 13 Feb 2001 22:07:07 +0000 Subject: [PATCH] . original commit: 8e98d4273663a0ca7c005ae170b7048da5c723f7 --- collects/setup/{sig.ss => option-sig.ss} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename collects/setup/{sig.ss => option-sig.ss} (91%) 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^)