src/video/cocoa/event.mm
changeset 8272 6f3688edcbf4
parent 8127 a20f557b7081
child 8446 8a9c5448d007
--- a/src/video/cocoa/event.mm	Sun Jan 13 14:42:28 2008 +0000
+++ b/src/video/cocoa/event.mm	Sun Jan 13 17:37:17 2008 +0000
@@ -40,6 +40,7 @@
 #include "../../debug.h"
 #include "../../os/macosx/splash.h"
 #include "../../variables.h"
+#include "../../settings_type.h"
 #include "../../core/geometry_type.hpp"
 #include "cocoa_v.h"
 #include "cocoa_keys.h"