diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 16:56:48 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 16:56:48 +0100 |
commit | 8152be7dfb272eafd97692a789a2596b883f413f (patch) | |
tree | b068c9455fb1828a640091499e05bd56254715f0 /tools/ndfun.ml | |
parent | 77209cf4625da6ffe43ae355ffeda7cf525fc803 (diff) | |
download | compcert-8152be7dfb272eafd97692a789a2596b883f413f.tar.gz compcert-8152be7dfb272eafd97692a789a2596b883f413f.zip |
Include fix for wint_t gcc problem.
Gcc defines wint_t in the stddef header (even if it is not stanadard) and
additionally defines it if stddef is reincluded. The fix now defines it
before stddef is checked for reinclusion.
Diffstat (limited to 'tools/ndfun.ml')
0 files changed, 0 insertions, 0 deletions