From 938dc7d41efca8d27dba973af11f7e3c9d916d5d Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Thu, 11 Sep 2014 10:42:42 -0400
Subject: [PATCH] Fix contract.

---
 .../typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
index 920f4774de..58f4aa6a85 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
@@ -320,7 +320,7 @@
 
 ;; Wrapper over possible-domains that works on types.
 (provide/cond-contract
-  [cleanup-type ((Type/c) ((or/c #f Type/c)) . ->* . Type/c)])
+  [cleanup-type ((Type/c) ((or/c #f Type/c) any/c) . ->* . Type/c)])
 (define (cleanup-type t [expected #f] [permissive? #t])
   (match t
     ;; function type, prune if possible.