diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 6401331e..eb5c3dc6 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -371,8 +371,8 @@ type_union = type index_range_aux = (* index specification, for bitfields in register types *) - BF_single of Big_int.num (* single index *) - | BF_range of Big_int.num * Big_int.num (* index range *) + BF_single of atyp (* single index *) + | BF_range of atyp * atyp (* index range *) | BF_concat of index_range * index_range (* concatenation of index ranges *) and index_range = |