diff options
author | Hanzhi Liu <55851864+MisakaCenter@users.noreply.github.com> | 2022-04-25 22:36:55 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-25 16:36:55 +0200 |
commit | fb1f4545dfe861ff4d02816e295021a7e3061687 (patch) | |
tree | 352f8ab1eacc758681239932edaae9eaa895a48d /backend/IRC.mli | |
parent | 967c04de6c02bef349df579cddbfcac8cf262e6d (diff) | |
download | compcert-fb1f4545dfe861ff4d02816e295021a7e3061687.tar.gz compcert-fb1f4545dfe861ff4d02816e295021a7e3061687.zip |
Fix a typo in a comment in Clight.v (#427)
`Kloop1` should have been `Kloop2`.
Diffstat (limited to 'backend/IRC.mli')
0 files changed, 0 insertions, 0 deletions