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 /backend/RTLtyping.v | |
parent | 624553ae0b0be62a16ff4bcc9df358f71b759815 (diff) | |
download | compcert-02015cafba394b4e18c6231204c5838724b31297.tar.gz compcert-02015cafba394b4e18c6231204c5838724b31297.zip |
Update the comment of the free operation (#277)
The comment says "writable" but it should be "freeable".
Diffstat (limited to 'backend/RTLtyping.v')
0 files changed, 0 insertions, 0 deletions