From cc2b39add337a4cede7ffed25c619e5d3eccfdaa Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 12:56:19 -0400 Subject: [PATCH] Since this is now in a different loc, need to fix up the require. original commit: 2714b3a84ac5c44af205c1a2460146e64d878daa --- collects/tests/typed-scheme/succeed/values-dots.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/values-dots.ss b/collects/tests/typed-scheme/succeed/values-dots.ss index 18be39f3..25cf3496 100644 --- a/collects/tests/typed-scheme/succeed/values-dots.ss +++ b/collects/tests/typed-scheme/succeed/values-dots.ss @@ -1,6 +1,6 @@ #lang typed-scheme -(require "private/extra-procs.ss") +(require typed-scheme/private/extra-procs) (call-with-values (lambda () (values 1 2)) (lambda: ([x : Number] [y : Number]) (+ x y)))