diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 11:17:56 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 11:17:56 +0200 |
| commit | b946cdfc8e33468a813cd8b2e41aa3442b51f04f (patch) | |
| tree | 899212ef5e544e439b59c9d8ff8ef366fbac568d /backend/PrintAsm.ml | |
| parent | f3ca5a662a3375c238c0b3f0aa2819bb05bd27f7 (diff) | |
| download | compcert-kvx-b946cdfc8e33468a813cd8b2e41aa3442b51f04f.tar.gz compcert-kvx-b946cdfc8e33468a813cd8b2e41aa3442b51f04f.zip | |
Allow Anonymous structs, unions and enums in debug info.
Diffstat (limited to 'backend/PrintAsm.ml')
0 files changed, 0 insertions, 0 deletions