diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-05-10 12:09:01 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-05-10 12:09:01 +0200 |
commit | 470f207e9229b73dcaea889c531b016a34df3cc5 (patch) | |
tree | ca6087f44463c40aea49e8d2efadcaa059c2784a /runtime/include/stddef.h | |
parent | abc067fedfaa6ad3e8b5991588ed48c4c385cfc0 (diff) | |
download | compcert-470f207e9229b73dcaea889c531b016a34df3cc5.tar.gz compcert-470f207e9229b73dcaea889c531b016a34df3cc5.zip |
fix typo in comment
Diffstat (limited to 'runtime/include/stddef.h')
0 files changed, 0 insertions, 0 deletions