diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:05:15 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:05:15 +0200 |
| commit | d6722c797fc6830d805bc94741427e406f4e16ab (patch) | |
| tree | c0e8b8f51019ac6d2484adb4afdfa22cbe89b518 /debug/DwarfTypes.mli | |
| parent | a8f8dea01b69dd7d85b51163dcde11e4ad55df6d (diff) | |
| download | compcert-kvx-d6722c797fc6830d805bc94741427e406f4e16ab.tar.gz compcert-kvx-d6722c797fc6830d805bc94741427e406f4e16ab.zip | |
Added sizetyp for subarray bounds. Fix 19894
Diffstat (limited to 'debug/DwarfTypes.mli')
| -rw-r--r-- | debug/DwarfTypes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index f6074cf3..de4082a5 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -188,7 +188,7 @@ type dw_tag_subprogram = type dw_tag_subrange_type = { - subrange_type: reference option; + subrange_type: reference; subrange_upper_bound: bound_value option; } |