diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 19:17:24 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 19:17:24 +0100 |
commit | 7247e4bb85d50834983bc71e6415fe1bf065aa46 (patch) | |
tree | b5d1de65396c1bd08e44c282ffd59ab0ba876e8f /powerpc/AsmToJSON.ml | |
parent | 7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab (diff) | |
download | compcert-7247e4bb85d50834983bc71e6415fe1bf065aa46.tar.gz compcert-7247e4bb85d50834983bc71e6415fe1bf065aa46.zip |
Cleanup of Clightgen code.
Removed unused code and code generating warnings.
Bug 18394
Diffstat (limited to 'powerpc/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions