diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 11:13:44 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-07 11:13:44 +0200 |
| commit | 7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d (patch) | |
| tree | 28f5a07db8e6e77327d3131680470902b15c8172 /debug/DwarfUtil.ml | |
| parent | a168d6a141e77a5fa98017b23ab2aadc5748fe94 (diff) | |
| download | compcert-kvx-7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d.tar.gz compcert-kvx-7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d.zip | |
Set structure declaration field to None.
In the case of a structure definition we do not need to set the
structure declaration field set to false.
Diffstat (limited to 'debug/DwarfUtil.ml')
0 files changed, 0 insertions, 0 deletions