diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/d2c/d2c_tok.l | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/d2c/d2c_tok.l b/tools/d2c/d2c_tok.l index b7e50fd..71f1a15 100644 --- a/tools/d2c/d2c_tok.l +++ b/tools/d2c/d2c_tok.l @@ -80,7 +80,7 @@ void free_flex_memory(void) ; <encoding_bits>" " { } <encoding_bits>"\n" { BEGIN(encoding_content); } -<encoding_bits>[A-Za-z][A-Za-z0-9]* { d2c_lval.string = strdup(yytext); return NAME; } +<encoding_bits>[A-Za-z][A-Za-z0-9_]* { d2c_lval.string = strdup(yytext); return NAME; } <encoding_bits>"(" { BEGIN(encoding_bits_size); } <encoding_bits_size>[0-9]+ { d2c_lval.integer = atoi(yytext); return SIZE; } @@ -125,7 +125,7 @@ void free_flex_memory(void) ; } <conv_content>"=" { return EQ; } <conv_content>"(" { BEGIN(conv_arg); return OP; } -<conv_arg>[A-Za-z][A-Za-z0-9]* { +<conv_arg>[A-Za-z][A-Za-z0-9_]* { if (strcmp(yytext, "NOT") == 0) return NOT; else if (strcmp(yytext, "EOR") == 0) return EOR; else |