diff --git a/collects/lang/private/teach.ss b/collects/lang/private/teach.ss index 79fe9b5182..0661f07d68 100644 --- a/collects/lang/private/teach.ss +++ b/collects/lang/private/teach.ss @@ -906,7 +906,7 @@ 'unknown #'id #f - "name is not defined, not an argument, and not a primitive name") + "name is not defined, not a parameter, and not a primitive name") ;; Don't use #%top here; id might have become bound to something ;; that isn't a value. #'id)]))