diff --git a/source/src/platform.h b/source/src/platform.h
index 7cfa1817..dda8ae2c 100644
--- a/source/src/platform.h
+++ b/source/src/platform.h
@@ -19,6 +19,9 @@
 #include <ctype.h>
 #include <time.h>
 #include <limits.h>
+#ifdef __MINGW32__
+    #include <stdint.h>
+#endif
 #ifdef __GNUC__
     #include <new>
     #include <signal.h>