original commit: 111b8721ef10bb02bc2ab33b2a91a08835ca4c67
This commit is contained in:
Matthew Flatt 1997-12-11 18:35:09 +00:00
parent 9206e02dce
commit ff54c1ea9e

View File

@ -1,7 +1,7 @@
(require-library "hierlists.ss" "hierlist")
(invoke-open-unit/sig (require-library "hierlistr.ss" "hierlist") mred (mred : mred^) (wx: wx^))
(invoke-open-unit/sig (require-library "hierlistr.ss" "hierlist") mred (mred : mred^) (wx : wx^))
#|