src/genworld_gui.cpp
changeset 8929 a8732ed52252
parent 8920 04df97185061
child 9233 4daa9bb8dbf7
child 11131 d8136dad6b1c
--- a/src/genworld_gui.cpp	Mon Jan 28 17:51:45 2008 +0000
+++ b/src/genworld_gui.cpp	Tue Jan 29 00:26:31 2008 +0000
@@ -27,6 +27,7 @@
 #include "settings_type.h"
 #include "widgets/dropdown_type.h"
 #include "widgets/dropdown_func.h"
+#include "core/random_func.hpp"
 
 #include "table/strings.h"
 #include "table/sprites.h"