diff options
author | Bart Jacobs <bart.jacobs@cs.kuleuven.be> | 2019-05-21 13:20:34 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-21 13:20:34 +0200 |
commit | 49e19c73ab339c3a5ad079fb38851257a1aa347a (patch) | |
tree | 56e5a953aab6f66c8447a8ff7c3d1392a1112f15 /cfrontend/Cminorgen.v | |
parent | 45f7c8be7179942d9667a5a26cb1bb6f6fcd2d04 (diff) | |
download | compcert-49e19c73ab339c3a5ad079fb38851257a1aa347a.tar.gz compcert-49e19c73ab339c3a5ad079fb38851257a1aa347a.zip |
Csyntax.v: Fix a typo in a documentation comment (#292)
Diffstat (limited to 'cfrontend/Cminorgen.v')
0 files changed, 0 insertions, 0 deletions