1 files changed, 2 insertions, 1 deletions

diff --git a/src/include/platform.h b/src/include/platform.h
index 1252487b..a8cdb92c 100644
--- a/src/include/platform.h
+++ b/src/include/platform.h
@@ -46,6 +46,7 @@
 
 #include <stdio.h>
 #include <stdlib.h>
+#include <stdint.h>
 #include <string.h>
 #include <unistd.h>
 #include <stdarg.h>
@@ -54,7 +55,7 @@
 #include <signal.h>
 #include <pthread.h>
 
-/* different OSes have size_t, fd_set in
+/* different OSes have fd_set in
    a broad range of header files;
    we just include most of them (if they
    are available) */