From fdbe0d3f275a619c4c232d0a428dfa843d363de5 Mon Sep 17 00:00:00 2001
From: Eric Dobson <eric.n.dobson@gmail.com>
Date: Mon, 21 Apr 2014 21:13:14 -0700
Subject: [PATCH] Fix removed require.

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

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 1bd672492f..b3351acc5b 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
@@ -9,6 +9,8 @@
          (rep type-rep)
          (except-in (types utils union abbrev subtype)
                     -> ->* one-of/c))
+(require-for-cond-contract
+  syntax/stx)
 
 (provide/cond-contract
   [tc/funapp1