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 /ia32/AsmToJSON.ml | |
parent | 4c4aebcb3b28c35b0534329dc43e7e7ff475c97b (diff) | |
download | compcert-7c8bd312880e96f84c15fad18dbffe3fd78397c7.tar.gz compcert-7c8bd312880e96f84c15fad18dbffe3fd78397c7.zip |
Fix minor typo
Diffstat (limited to 'ia32/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions