diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-10-12 13:41:22 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-10-12 13:41:22 +0200 |
| commit | 7c8bd312880e96f84c15fad18dbffe3fd78397c7 (patch) | |
| tree | c07a77085e3ce6cecb1a21dea57864f701bdcddf /cparser/Parse.ml | |
| parent | 4c4aebcb3b28c35b0534329dc43e7e7ff475c97b (diff) | |
| download | compcert-kvx-7c8bd312880e96f84c15fad18dbffe3fd78397c7.tar.gz compcert-kvx-7c8bd312880e96f84c15fad18dbffe3fd78397c7.zip | |
Fix minor typo
Diffstat (limited to 'cparser/Parse.ml')
0 files changed, 0 insertions, 0 deletions