diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt
index 9cf1d07b8c..5401ab0a4b 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/info.rkt
@@ -11,9 +11,13 @@
                "compatibility-lib" ;; to assign types
                "string-constants-lib"))
 
+;; This is needed since the expansion of TR
+;; can insert `(require unstable/contract)` into
+;; the expanded code.
+(define implies '("unstable-contract-lib"))
 
 (define pkg-desc "implementation (no documentation) part of \"typed-racket\"")
 
 (define pkg-authors '(samth stamourv))
 
-(define version "1.1")
\ No newline at end of file
+(define version "1.1")