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 /arm/extractionMachdep.v | |
parent | 3b0bbd7a60771265ff81cc98310d413130ae4d79 (diff) | |
download | compcert-09ca4e17ad5cd9bd4d7a6eada42f450a92987226.tar.gz compcert-09ca4e17ad5cd9bd4d7a6eada42f450a92987226.zip |
Removed unused function.
The function exists_type is not really used so we can remove it.
Bug 17392.
Diffstat (limited to 'arm/extractionMachdep.v')
0 files changed, 0 insertions, 0 deletions