From ca3e58f3a69aac6a1d0b94a6b1f69b76cb8024b2 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 17 Jun 2008 10:46:39 -0400 Subject: [PATCH] Use map instead of map* original commit: c7733e5e34dfb6f22d7ddb07c5e17192a5679b91 --- collects/tests/typed-scheme/succeed/inst-dots.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/inst-dots.ss b/collects/tests/typed-scheme/succeed/inst-dots.ss index 9e3f138b..51bf3223 100644 --- a/collects/tests/typed-scheme/succeed/inst-dots.ss +++ b/collects/tests/typed-scheme/succeed/inst-dots.ss @@ -2,6 +2,6 @@ (require typed-scheme/private/extra-procs) -((inst map* Number Number Number Number Number Number Number) +((inst map Number Number Number Number Number Number Number) + (list 1 2 3) (list 2 3 4) (list 1 2 3) (list 2 3 4) (list 1 2 3) (list 2 3 4))