diff --git a/collects/help/help.ss b/collects/help/help.ss index 60575022..0953a9d6 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -1,4 +1,4 @@ - +(require-library "errortrace.ss" "errortrace") #| TODO: * demonstrate setup-plt launcher