diff options
| author | chaomaer <1506174913@qq.com> | 2019-03-25 17:47:17 +0800 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-03-25 10:47:17 +0100 |
| commit | 02015cafba394b4e18c6231204c5838724b31297 (patch) | |
| tree | df6c0c260cfb38176389138043bd7909d43e8882 /lib/Integers.v | |
| parent | 624553ae0b0be62a16ff4bcc9df358f71b759815 (diff) | |
| download | compcert-kvx-02015cafba394b4e18c6231204c5838724b31297.tar.gz compcert-kvx-02015cafba394b4e18c6231204c5838724b31297.zip | |
Update the comment of the free operation (#277)
The comment says "writable" but it should be "freeable".
Diffstat (limited to 'lib/Integers.v')
0 files changed, 0 insertions, 0 deletions