From 7179e30fe1d4b0b607d39e94792c21c844ebc97a Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Sat, 12 Jul 2014 22:28:06 +0200
Subject: [PATCH] Removed annotation from core language

---
 redex-core.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/redex-core.rkt b/redex-core.rkt
index 6995886..09511fb 100644
--- a/redex-core.rkt
+++ b/redex-core.rkt
@@ -24,7 +24,7 @@
   (x ::= variable-not-otherwise-mentioned)
   ;; TODO: Having 2 binders is stupid.
   (v ::= (Π (x : t) t) (λ (x : t) t) x U)
-  (t e ::= v (t t) (t : t)))
+  (t e ::= v (t t)))
 
 (module+ test
   (require (except-in rackunit check))