diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-03-29 16:49:53 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-03-29 16:49:53 +0200 |
| commit | d1ff2fcb7c2875b3c371a124579aef419199195b (patch) | |
| tree | e6bafaca6a1050eed828d86189ccdc408a5951da /cparser/Cutil.ml | |
| parent | de293458027a28f3a3576354dc0e4ec90f824bda (diff) | |
| download | compcert-kvx-d1ff2fcb7c2875b3c371a124579aef419199195b.tar.gz compcert-kvx-d1ff2fcb7c2875b3c371a124579aef419199195b.zip | |
Don't overwrite initializer of anonymous union member. (#69)
Instead of overwriting the initializer of the anonymous member we
should just keep it.
Bug 23353
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions