That does indeed fix it.
So I guess by the logic of the comment by it, that stdint needs to be included in some other places.
/*#include <stdint.h> - handled by sources including this header */
That does indeed fix it.
So I guess by the logic of the comment by it, that stdint needs to be included in some other places.
/*#include <stdint.h> - handled by sources including this header */