win32.c
changeset 3394 78963d9c1022
parent 3341 b8febc9509d7
child 3458 d3a6ddfa6784
--- a/win32.c	Fri Mar 31 12:59:43 2006 +0000
+++ b/win32.c	Fri Mar 31 15:34:22 2006 +0000
@@ -26,6 +26,9 @@
 	#define __TIMESTAMP__   __DATE__ __TIME__
 #endif
 
+#if defined(__MINGW32__)
+	#include <stdint.h>
+#endif
 
 static bool cursor_visible = true;