Need stdint.h man.

diff --git a/src/include/platform.h b/src/include/platform.h
index 7a974b48d7532a80dcd4a0e3a47ccf5d7ed23331..30fa8f9b5988c42eee57173247ae70c12d31c107 100644 (file)
--- a/src/include/platform.h
+++ b/src/include/platform.h
@@ -99,6 +99,7 @@
 #include <string.h>
 #include <stdio.h>
 #include <stdlib.h>
+#include <stdint.h>
 #include <stdarg.h>
 #include <errno.h>
 #include <signal.h>