Hello,

I've noticed that setjmp.h uses uint32_t but does not include the
necessary stdint.h, therefore producing errors if stdint.h was not
included before it. Adding #include <stdint.h> to it solves the issue.

Thanks
Conrado

Reply via email to