index b0d092d0d8c9ab3534249242279a1c43f43f94fd..11e7b13cc31575ee83d598a1f75984ae19b09e63 100644 (file)
/*
* Includes (for data types)
*/
-#include <stdint.h>
+#if HAVE_STDINT_H
+# include <stdint.h>
+#endif
#include <inttypes.h>
#include <time.h>