diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
commit | 54effdc2bae11f441a34465754e9e43c44b41df9 (patch) | |
tree | 546e86db82daddc56bb96b3e10437ad5646a1fd0 /cparser/Cutil.ml | |
parent | ca055fc22c3b9d0ac6bbd394562933aa3e044c95 (diff) | |
download | compcert-54effdc2bae11f441a34465754e9e43c44b41df9.tar.gz compcert-54effdc2bae11f441a34465754e9e43c44b41df9.zip |
More unique debug types.
The typdef, enumerator and function_type types form the DebugTypes and
DwarfTypes shared a some fields. This commits renames them in order to
make them more unique and avoid potential name clashes.
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions