diff --git a/collects/tests/typed-scheme/fail/dot-intro.ss b/collects/tests/typed-scheme/fail/dot-intro.ss
deleted file mode 100644
index c42b0f4228..0000000000
--- a/collects/tests/typed-scheme/fail/dot-intro.ss
+++ /dev/null
@@ -1,7 +0,0 @@
-#lang typed-scheme
-
-(plambda: (a ...) ([x : Number] . [y : Number ... a])
-  y)
-
-(plambda: (a ...) ([x : Number] . [y : Number ... a])
-  (map add1 y))
\ No newline at end of file
diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss
index 7afb8c1a0f..72c1f6849d 100644
--- a/collects/tests/typed-scheme/succeed/dot-intro.ss
+++ b/collects/tests/typed-scheme/succeed/dot-intro.ss
@@ -6,4 +6,11 @@
 
 (define y
   (plambda: (a ...) ([x : Number] . [y : a ... a])
-    (ormap null? (map list y))))
\ No newline at end of file
+    (ormap null? (map list y))))
+
+
+(plambda: (a ...) ([x : Number] . [y : Number ... a])
+  y)
+
+(plambda: (a ...) ([x : Number] . [y : Number ... a])
+  (map add1 y))
\ No newline at end of file