diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-06 15:58:26 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-06 15:58:26 +0200 |
commit | 0a4cf6562122684811db5ed3dd059769ca1a06d9 (patch) | |
tree | 34a812758978efa8198239c4651f79b52d90e413 /driver | |
parent | e30aa60a06817ed67c14a80430a7275defc41e76 (diff) | |
download | compcert-0a4cf6562122684811db5ed3dd059769ca1a06d9.tar.gz compcert-0a4cf6562122684811db5ed3dd059769ca1a06d9.zip |
Use the functions from C2C to extract the information for the atoms. Simplified printing of storage class.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions