diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-30 12:43:49 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-30 12:43:49 +0200 |
| commit | ee76d81e0e7d8a76cd31bf0d01a532d248dca45a (patch) | |
| tree | fdce17a2651794b76c7958ccdf2029bc3e6dcfff /tools | |
| parent | c0757aa180c54ff61093e8079ef58b77775ba28e (diff) | |
| download | compcert-ee76d81e0e7d8a76cd31bf0d01a532d248dca45a.tar.gz compcert-ee76d81e0e7d8a76cd31bf0d01a532d248dca45a.zip | |
Fixed minor issue with parameters that get put on the stack, made
the code more robust and added indentation for convertCompositeDef
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions