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 /flocq/Calc/Sqrt.v | |
| 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 'flocq/Calc/Sqrt.v')
0 files changed, 0 insertions, 0 deletions