diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-12 13:05:41 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-12 13:05:41 +0100 |
commit | 10c99650f3f696d6970a62861478ca6a021465b3 (patch) | |
tree | cf9ac92b342214aae8a6364e15ce6b7b14474764 /Makefile.menhir | |
parent | 0c73ba202a910d5ab2ae900a56264fc1534f0214 (diff) | |
download | compcert-10c99650f3f696d6970a62861478ca6a021465b3.tar.gz compcert-10c99650f3f696d6970a62861478ca6a021465b3.zip |
Moved naming and changed names of aux functions
The naming of anonymous structs is performed by an additional step
in elab_struct_or_union_info instead of in elab_field_group.
Also the aux functions are renamed to access.
Bug 20003
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions