diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-09-23 09:31:01 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-09-23 09:31:01 +0200 |
commit | 0218da79e51bfdd3b5911aa0b80febf4cb7c0ef4 (patch) | |
tree | f61733a07ed22c6fde70764e40842aa625282041 /backend/Linearizeaux.ml | |
parent | 905012098014efe6ac661ca5fdaa30ba80480296 (diff) | |
download | compcert-0218da79e51bfdd3b5911aa0b80febf4cb7c0ef4.tar.gz compcert-0218da79e51bfdd3b5911aa0b80febf4cb7c0ef4.zip |
undefine _Nullable to add some compatibility with macOS 10.12 SDK
Diffstat (limited to 'backend/Linearizeaux.ml')
0 files changed, 0 insertions, 0 deletions