diff options
author | François Pottier <francois.pottier@inria.fr> | 2016-05-27 09:19:31 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2016-05-27 09:19:31 +0200 |
commit | acaf3211a58d33af44a1b8f87c2bc83fb33aa068 (patch) | |
tree | 8d6effc31cebf559f6350710a5603df1ac6e8784 /cparser/Cabs.v | |
parent | 5087ec788016b719b4038be08cd55bccc22b3619 (diff) | |
download | compcert-acaf3211a58d33af44a1b8f87c2bc83fb33aa068.tar.gz compcert-acaf3211a58d33af44a1b8f87c2bc83fb33aa068.zip |
Fixed a comment.
Diffstat (limited to 'cparser/Cabs.v')
0 files changed, 0 insertions, 0 deletions