From b209a6f5103bba222f7f3b7897a9e6f5bbaaa3ec Mon Sep 17 00:00:00 2001
From: Anders <mortberg@chalmers.se>
Date: Thu, 16 Apr 2015 15:22:53 +0200
Subject: [PATCH] Reintroduce _ in identifier again

---
 Exp.cf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Exp.cf b/Exp.cf
index 79dd771..76e7871 100644
--- a/Exp.cf
+++ b/Exp.cf
@@ -84,7 +84,7 @@ terminator Tele "" ;
 PTele.    PTele ::= "(" Exp ":" Exp ")" ;
 terminator nonempty PTele "" ;
 
-position token AIdent (letter|'_')(letter|digit|'\'')* ;
+position token AIdent (letter|'_')(letter|digit|'\''|'_')* ;
 separator AIdent "" ;
 
 token CIdent '/''\\' ;
-- 
2.34.1