diff --git a/collects/help/help.ss b/collects/help/help.ss index dca31b1e..e9e2aec5 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -1,5 +1,5 @@ -; (require-library "errortrace.ss" "errortrace") -; (error-print-width 80) +(require-library "errortrace.ss" "errortrace") +(error-print-width 80) #| TODO: * demonstrate setup-plt launcher