From 34fef6e53875e5aad3dac947ae7eaf339c2d163f Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 27 May 2010 12:46:29 -0400
Subject: [PATCH] Re-enable test.

---
 .../tests/typed-scheme/unit-tests/type-annotation-test.rkt    | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt b/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt
index a1c19804d8..cb6bd5aaa3 100644
--- a/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt
+++ b/collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt
@@ -26,10 +26,12 @@
   (test-suite 
    "Type Annotation tests"
    ;; FIXME - ask Ryan
-   (tat (ann foo : Number) (ret -Number))
+   (tat (ann foo : Number) (ret -Number (make-NoFilter) (make-NoObject)))
    (tat foo #f)
    (tat (ann foo : 3) (ret (-val 3) (make-NoFilter) (make-NoObject)))))
 
 (define-go
   type-annotation-tests)
 
+
+