diff --git a/typed-racket-test/unit-tests/all-tests.rkt b/typed-racket-test/unit-tests/all-tests.rkt
index 91b0a2ff..1ff12e20 100644
--- a/typed-racket-test/unit-tests/all-tests.rkt
+++ b/typed-racket-test/unit-tests/all-tests.rkt
@@ -41,7 +41,6 @@
   "filter-tests.rkt"
   "metafunction-tests.rkt"
   "generalize-tests.rkt"
-  "rep-tests.rkt"
   "prims-tests.rkt"
   "tooltip-tests.rkt"
   "prefab-tests.rkt"
diff --git a/typed-racket-test/unit-tests/rep-tests.rkt b/typed-racket-test/unit-tests/rep-tests.rkt
deleted file mode 100644
index 8154c9dc..00000000
--- a/typed-racket-test/unit-tests/rep-tests.rkt
+++ /dev/null
@@ -1,23 +0,0 @@
-#lang racket/base
-
-;; Tests for TR representation data structures such as types
-
-(require "test-utils.rkt"
-         rackunit
-         typed-racket/rep/rep-utils
-         typed-racket/rep/type-rep
-         typed-racket/types/abbrev)
-
-(provide tests)
-(gen-test-main)
-
-(define tests
-  (test-suite
-   "Tests for TR IR data structures"
-
-   ;; Make sure that unsafe operations return the same results as safe ones
-   (check-equal? (Rep-seq -String) (unsafe-Rep-seq -String))
-   (check-equal? (Rep-seq (-pair -String -String)) (unsafe-Rep-seq (-pair -String -String)))
-   (check-equal? (Type-key -String) (unsafe-Type-key -String))
-   (check-equal? (Type-key (-pair -String -String)) (unsafe-Type-key (-pair -String -String)))
-   ))