diff --git a/collects/lang/htdp-intermediate.ss b/collects/lang/htdp-intermediate.ss index e2360aa7e1..432cf281da 100644 --- a/collects/lang/htdp-intermediate.ss +++ b/collects/lang/htdp-intermediate.ss @@ -51,4 +51,7 @@ (provide-and-document procedures (all-from beginner: lang/private/intermediate-funs procedures)) + (provide + (rename-out + [beginner-list? list?])) )