From 9ff0e6a39918890d18328b6d5ec956f76ca1b4a9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 13 Apr 1999 23:22:13 +0000 Subject: [PATCH] . original commit: 0c5c2b6a6e0d18b3b65eba42ac570c4fff51805f --- collects/mzlib/info.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mzlib/info.ss b/collects/mzlib/info.ss index edefefd..d010c91 100644 --- a/collects/mzlib/info.ss +++ b/collects/mzlib/info.ss @@ -15,7 +15,7 @@ [(name) "MzLib"] [(compile-prefix) '(begin (require-library "refer.ss") - (require-library "mzlibs.ss"))] + (require-library "mzlibflats.ss"))] [(compile-omit-files) (append elaboration-time-files (list "refer.ss" "letplsrc.ss"))] [(compile-elaboration-zos) elaboration-time-files]