From 22783cf817d6dbb77648388fca5a274a1f216ea2 Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Mon, 27 Mar 2023 16:14:40 +0200
Subject: [PATCH] Removed custom Character in favor of BNFC Char

---
 Grammar.cf | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Grammar.cf b/Grammar.cf
index 09d0f2e..55763f4 100644
--- a/Grammar.cf
+++ b/Grammar.cf
@@ -58,7 +58,7 @@ ECase. Exp  ::= "case" Exp "of" "{" [Branch] "}";
 -------------------------------------------------------------------------------
 
 LInt.  Lit ::= Integer;
-LChar. Lit ::= Character;
+LChar. Lit ::= Char;
 
 -------------------------------------------------------------------------------
 -- * PATTERN MATCHING 
@@ -88,7 +88,6 @@ coercions Pattern 1;
 coercions Exp 4;
 coercions Type 1 ;
 
-token Character '\''(char)'\'' ;
 token UIdent (upper (letter | digit | '_')*) ;
 token LIdent (lower (letter | digit | '_')*) ;