diff options
Diffstat (limited to 'language/sail.ott')
| -rw-r--r-- | language/sail.ott | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/sail.ott b/language/sail.ott index 6d2760ff..7dbd3c9e 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -316,8 +316,8 @@ type_union :: 'Tu_' ::= index_range :: 'BF_' ::= {{ com index specification, for bitfields in register types}} {{ aux _ l }} - | num :: :: 'single' {{ com single index }} - | num1 '..' num2 :: :: range {{ com index range }} + | nexp :: :: 'single' {{ com single index }} + | nexp1 '..' nexp2 :: :: range {{ com index range }} | index_range1 , index_range2 :: :: concat {{ com concatenation of index ranges }} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |