- Allow ^ and - in identifies which will be used in protocol names

in future naming conventions
This commit is contained in:
gijs 2005-08-15 11:27:46 +00:00
parent 7e246cf4f3
commit 998e4852ba

View File

@ -45,7 +45,7 @@ ascii_char [^\"\n]
escaped_char \\n|\\\" escaped_char \\n|\\\"
integer {digit}+ integer {digit}+
text \"({ascii_char}|{escaped_char})*\" text \"({ascii_char}|{escaped_char})*\"
id @?({letter}|{digit})+ id @?({letter}|{digit}|[\^\-])+
%% %%