diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/parser.mly b/src/parser.mly index 43dc0a74..d2a5933a 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -1247,8 +1247,6 @@ type_def: { tdloc (TD_enum($2, mk_namesectn (), $6,false)) } | Typedef tid name_sect Eq Enumerate Lcurly enum_body Rcurly { tdloc (TD_enum($2,$3,$7,false)) } - | Typedef tid Eq Register Bits Lsquare nexp_typ Colon nexp_typ Rsquare Lcurly r_def_body Rcurly - { tdloc (TD_register($2, $7, $9, $12)) } default_typ: | Default atomic_kind tyvar |