diff options
Diffstat (limited to 'tools/d2c/d2c_gram.y')
| -rw-r--r-- | tools/d2c/d2c_gram.y | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/d2c/d2c_gram.y b/tools/d2c/d2c_gram.y index 7195e21..1c25b17 100644 --- a/tools/d2c/d2c_gram.y +++ b/tools/d2c/d2c_gram.y @@ -133,7 +133,7 @@ struct action_tmp %token INS_NAME INS_DETAILS %token ENCODING -%token THUMB ARCH NUMBER +%token TYPE NUMBER %token ENC_START ENC_END %token WORD HALF NAME SIZE BIT @@ -148,6 +148,7 @@ struct action_tmp %type <string> COPYRIGHT INS_NAME %type <cstring> INS_DETAILS +%type <string> TYPE %type <integer> NUMBER %type <string> NAME @@ -182,8 +183,7 @@ name : COPYRIGHT TITLE INS_NAME { save_notes_for_coder(coder, $1, $3 encodings : /* empty */ | encoding encodings -encoding : ENCODING THUMB NUMBER content { push_encoding_spec(coder, strdup("t"), $3); } - | ENCODING ARCH NUMBER content { push_encoding_spec(coder, strdup("a"), $3); } +encoding : ENCODING TYPE NUMBER content { push_encoding_spec(coder, $2, $3); } content : /* empty */ |