diff --git a/Grammar.cf b/Grammar.cf
index 0f5a411..0b4785f 100644
--- a/Grammar.cf
+++ b/Grammar.cf
@@ -7,11 +7,6 @@ ELet. Exp3 ::= "let" Bind "in" Exp;
 EApp. Exp2 ::= Exp2 Exp3;
 EAdd. Exp1 ::= Exp1 "+" Exp2;
 EAbs. Exp  ::= "\\" Ident ":" Type "." Exp;
-ECase. Exp ::= "case" Exp "of" "{" [CaseMatch] "}";
-CaseMatch. CaseMatch ::= Case "=>" Exp ;
-separator CaseMatch ",";
-
-CInt. Case ::= Integer ;
 
 Bind. Bind ::= Ident ":" Type ";"
                Ident [Ident] "=" Exp;