diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-29 14:44:01 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-29 14:44:01 +0100 |
| commit | d4070c456e71b6edfc9b65e5ec837370fea8e9d0 (patch) | |
| tree | bbbd904c1712af825aa5782eae0654ed1bdd9796 /lib/Integers.v | |
| parent | 1d2538911835437edc88227aa648c69fe6eea456 (diff) | |
| download | compcert-kvx-d4070c456e71b6edfc9b65e5ec837370fea8e9d0.tar.gz compcert-kvx-d4070c456e71b6edfc9b65e5ec837370fea8e9d0.zip | |
Remove unused float_abi_type.
Diffstat (limited to 'lib/Integers.v')
0 files changed, 0 insertions, 0 deletions