diff --git a/collects/typed-scheme/private/type-contract.rkt b/collects/typed-scheme/private/type-contract.rkt
index 914043cedf..26b5b0d7da 100644
--- a/collects/typed-scheme/private/type-contract.rkt
+++ b/collects/typed-scheme/private/type-contract.rkt
@@ -131,8 +131,6 @@
          #`(vectorof #,(t->c t))]
         [(Box: t)
          #`(box/c #,(t->c t))]
-        [(Channel: t)
-         #`(channel/c #,(t->c t))]
         [(Pair: t1 t2)
          #`(cons/c #,(t->c t1) #,(t->c t2))]
         [(Opaque: p? cert)