From b67fd7f9f1e1a29b01f021e7ca75bc822627594f Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Wed, 16 Jun 2010 17:19:25 -0400
Subject: [PATCH] Got rid of a reference to the non-existent channel/c.

original commit: c4e035dd67d44da53fb17003ad8342ed5fbdf6dd
---
 collects/typed-scheme/private/type-contract.rkt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/collects/typed-scheme/private/type-contract.rkt b/collects/typed-scheme/private/type-contract.rkt
index 914043ce..26b5b0d7 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)