diff --git a/collects/hierlist/hierlist.ss b/collects/hierlist/hierlist.ss index 5af40bfd..ae6197eb 100644 --- a/collects/hierlist/hierlist.ss +++ b/collects/hierlist/hierlist.ss @@ -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^)) #|