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"