diff --git a/collects/help/help.ss b/collects/help/help.ss index e9e2aec5..ff3376bd 100644 --- a/collects/help/help.ss +++ b/collects/help/help.ss @@ -1,4 +1,4 @@ -(require-library "errortrace.ss" "errortrace") +;(require-library "errortrace.ss" "errortrace") (error-print-width 80) #| TODO: