diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-05-09 07:38:06 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-05-24 15:52:11 +0200 |
commit | 8c28d0630576de35e739edebc2abe127d18de22a (patch) | |
tree | 03ceac74e5bf28a4d3bed7167c863ffff9c14a54 /common/Unityping.v | |
parent | daf677cd5738187b30288e65cb89100b629ef5ba (diff) | |
download | compcert-8c28d0630576de35e739edebc2abe127d18de22a.tar.gz compcert-8c28d0630576de35e739edebc2abe127d18de22a.zip |
Added version string to Clightgen.
Clightgen now also prints a version string. Also the CompCert version
string is now similar in both modes.
Bug 18768.
Diffstat (limited to 'common/Unityping.v')
0 files changed, 0 insertions, 0 deletions