eliminate one more use of mzlib/contract
This commit is contained in:
parent
6fc20125b0
commit
2893470f27
|
@ -1,5 +1,5 @@
|
||||||
(module modread mzscheme
|
(module modread mzscheme
|
||||||
(require mzlib/contract)
|
(require racket/contract)
|
||||||
|
|
||||||
(provide with-module-reading-parameterization)
|
(provide with-module-reading-parameterization)
|
||||||
(provide/contract
|
(provide/contract
|
||||||
|
|
Loading…
Reference in New Issue
Block a user