Reintroduce _ in identifier again

diff --git a/Exp.cf b/Exp.cf
index 79dd771ded8834204365637270bfe10683cf54b9..76e78712facbb12b0ab7f3294ffa78b0cd3ddf98 100644 (file)
--- 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 '/''\\' ;