original commit: 66a48d14eb8a171ebca31d3e114ec4cca9500a55
This commit is contained in:
Matthew Flatt 1997-12-11 18:34:06 +00:00
parent 8d9c4986be
commit 9206e02dce

View File

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