diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:04:58 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:04:58 +0100 |
commit | 31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67 (patch) | |
tree | b5a2012cf3143c7a2ee1a8da9da98c2e2a7e1cb2 /cfrontend/PrintCsyntax.ml | |
parent | e5aeeb137cfd95289ec9388318f65df6f5b08db6 (diff) | |
download | compcert-31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67.tar.gz compcert-31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67.zip |
bug 17567, typos
Diffstat (limited to 'cfrontend/PrintCsyntax.ml')
0 files changed, 0 insertions, 0 deletions