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/DwarfPrinter.mli | |
parent | a168d6a141e77a5fa98017b23ab2aadc5748fe94 (diff) | |
download | compcert-7cef1552c0cf7d7c89d223fb7df24a2a7942ae2d.tar.gz compcert-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/DwarfPrinter.mli')
0 files changed, 0 insertions, 0 deletions