From: Anders <mortberg@chalmers.se>
Date: Thu, 16 Apr 2015 13:22:53 +0000 (+0200)
Subject: Reintroduce _ in identifier again
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=b209a6f5103bba222f7f3b7897a9e6f5bbaaa3ec;p=cubicaltt.git

Reintroduce _ in identifier again
---

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 '/''\\' ;