diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 16:49:13 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 16:49:13 +0100 |
| commit | 6ce117058fd38c764176ad070285db6b6a2511e4 (patch) | |
| tree | fa680d60d367736365a1dff6ddf6de0144dc53a9 /debug/DwarfTypes.mli | |
| parent | 9d4bb7ec914566b3920cca3c6823515448fb65c1 (diff) | |
| download | compcert-6ce117058fd38c764176ad070285db6b6a2511e4.tar.gz compcert-6ce117058fd38c764176ad070285db6b6a2511e4.zip | |
Simplified DebugInformation interface.
Instead of exporting and setting all functions we just fill the
struct already in DebugInformation with the correct functions.
Diffstat (limited to 'debug/DwarfTypes.mli')
0 files changed, 0 insertions, 0 deletions