.

original commit: 84a4c5abafb6e9c2dc829a93a1c7e0dd3348788e
25 years ago · 87b2519c25
parent 45d0bdeda1 94e3de51bd
commit 87b2519c25
1 changed files with 3 additions and 3 deletions
--- a/collects/mzlib/info.ss
+++ b/collects/mzlib/info.ss
@ -7,9 +7,9 @@
 	     "cmdlines.ss" "dates.ss" "strings.ss"
 	     "compats.ss" "files.ss" "threads.ss" "transcrs.ss"
 	     "compiles.ss" "functios.ss" "pconvers.ss"
-	     "inflates.ss" "prettys.ss" "zmaths.ss"
-	     "cores.ss"
-	     "mzlibs.ss")])
+	     "inflates.ss" "prettys.ss" "maths.ss"
+	     "cores.ss" "coreflats.ss"
+	     "mzlibs.ss" "mzlibflats.ss")])
  (lambda (request failure)
    (case request
      [(name) "MzLib"]