diff options
-rw-r--r-- | src/include/platform.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/platform.h b/src/include/platform.h index 7a974b48d..30fa8f9b5 100644 --- a/src/include/platform.h +++ b/src/include/platform.h | |||
@@ -99,6 +99,7 @@ | |||
99 | #include <string.h> | 99 | #include <string.h> |
100 | #include <stdio.h> | 100 | #include <stdio.h> |
101 | #include <stdlib.h> | 101 | #include <stdlib.h> |
102 | #include <stdint.h> | ||
102 | #include <stdarg.h> | 103 | #include <stdarg.h> |
103 | #include <errno.h> | 104 | #include <errno.h> |
104 | #include <signal.h> | 105 | #include <signal.h> |