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