src/music_gui.cpp
changeset 8433 33899f3d6b5c
parent 8264 b1e85998c7d3
child 9111 48ce04029fe4
--- a/src/music_gui.cpp	Mon Jan 28 17:51:45 2008 +0000
+++ b/src/music_gui.cpp	Tue Jan 29 00:26:31 2008 +0000
@@ -14,6 +14,7 @@
 #include "sound_func.h"
 #include "gfx_func.h"
 #include "core/math_func.hpp"
+#include "core/random_func.hpp"
 
 #include "table/strings.h"
 #include "table/sprites.h"