.

original commit: 0c5c2b6a6e0d18b3b65eba42ac570c4fff51805f
25 years ago · 9ff0e6a399
parent 87b2519c25
commit 9ff0e6a399
1 changed files with 1 additions and 1 deletions
--- 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]