diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 19:00:53 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 19:00:53 +0100 |
| commit | 7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab (patch) | |
| tree | 0a00e18bda8149dc981f57faec110bb7a5be973d /exportclight/ExportClight.ml | |
| parent | 5dcf421950d08eacb7fc70b348d4fc153447ce9e (diff) | |
| download | compcert-kvx-7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab.tar.gz compcert-kvx-7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab.zip | |
Clean up of ia32 target dependend code.
Removed some unused functions and opens.
Bug 18394
Diffstat (limited to 'exportclight/ExportClight.ml')
0 files changed, 0 insertions, 0 deletions