diff options
Diffstat (limited to 'tools/d2c/d2c_tok.l')
| -rw-r--r-- | tools/d2c/d2c_tok.l | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/d2c/d2c_tok.l b/tools/d2c/d2c_tok.l index 4d31783..e40f10d 100644 --- a/tools/d2c/d2c_tok.l +++ b/tools/d2c/d2c_tok.l @@ -65,8 +65,7 @@ void free_flex_memory(void) ; <encoding>[ ] { } <encoding>"(" { BEGIN(encoding_type); } -<encoding_type>"T" { return THUMB; } -<encoding_type>"A" { return ARCH; } +<encoding_type>[A-Za-z] { d2c_lval.string = strdup(yytext); return TYPE; } <encoding_type>[0-9] { d2c_lval.integer = atoi(yytext); return NUMBER; } <encoding_type>")" { BEGIN(encoding); } |