--- a/src/video/cocoa/event.mm	Tue Jan 29 17:09:00 2008 +0000
+++ b/src/video/cocoa/event.mm	Tue Jan 29 19:23:31 2008 +0000
@@ -47,6 +47,7 @@
 #include "../../blitter/factory.hpp"
 #include "../../gfx_func.h"
 #include "../../network/network.h"
+#include "../../core/random_func.hpp"
 
 
 /* Right Mouse Button Emulation enum */