diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/language/l2.ott b/language/l2.ott index e6b52482..c34dedb5 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -459,7 +459,6 @@ kind_def :: 'KD_' ::= type_union :: 'Tu_' ::= {{ com type union constructors }} {{ aux _ l }} - | id :: :: id | typ id :: :: ty_id index_range :: 'BF_' ::= {{ com index specification, for bitfields in register types}} |