From 9b96dbd21136be60dd29fdd8ee6a82d6db25f06e Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Sun, 1 Jul 2007 14:03:59 +0000 Subject: [PATCH] changed argument to parameter svn: r6784 --- collects/lang/private/teach.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)]))