diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2.ott b/language/l2.ott index 4ff4f436..6ce1f140 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -479,7 +479,7 @@ type_def :: 'TD_' ::= index_range :: 'BF_' ::= {{ com index specification, for bitfields in register types}} {{ aux _ l }} | num :: :: 'single' {{ com single index }} - | num1 : num2 :: :: range {{ com index range }} + | num1 '..' num2 :: :: range {{ com index range }} | index_range1 , index_range2 :: :: concat {{ com concatenation of index ranges }} % |