diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-02-19 11:02:54 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-02-19 11:02:54 +0100 |
commit | 4472f312e3d5ef93d1b89b326727a10d34d918ce (patch) | |
tree | 8895723b3b725cd7d06b6d7df70df1de1c28b580 /cparser/C.mli | |
parent | fcc5b32267d22de13553c0f5fc61ae60f0723a50 (diff) | |
download | compcert-4472f312e3d5ef93d1b89b326727a10d34d918ce.tar.gz compcert-4472f312e3d5ef93d1b89b326727a10d34d918ce.zip |
Struct return on OpenBSD now tested
Diffstat (limited to 'cparser/C.mli')
0 files changed, 0 insertions, 0 deletions