diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-13 10:29:01 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-13 10:29:01 +0200 |
| commit | 09ca4e17ad5cd9bd4d7a6eada42f450a92987226 (patch) | |
| tree | b9e12b30d2d21911cce74ee11736579134d40fc2 /debug/Dwarfgen.ml | |
| parent | 3b0bbd7a60771265ff81cc98310d413130ae4d79 (diff) | |
| download | compcert-kvx-09ca4e17ad5cd9bd4d7a6eada42f450a92987226.tar.gz compcert-kvx-09ca4e17ad5cd9bd4d7a6eada42f450a92987226.zip | |
Removed unused function.
The function exists_type is not really used so we can remove it.
Bug 17392.
Diffstat (limited to 'debug/Dwarfgen.ml')
0 files changed, 0 insertions, 0 deletions