src/os2.cpp
changeset 8131 160939e24ed3
parent 8121 3bc6351e7369
child 8214 971f861d5543
--- a/src/os2.cpp	Tue Dec 25 09:48:53 2007 +0000
+++ b/src/os2.cpp	Tue Dec 25 11:26:07 2007 +0000
@@ -8,9 +8,10 @@
 #include "string.h"
 #include "table/strings.h"
 #include "gui.h"
-#include "functions.h"
 #include "fileio.h"
 #include "fios.h" // opendir/readdir/closedir
+#include "functions.h"
+#include "core/random_func.hpp"
 
 #include <dirent.h>
 #include <unistd.h>