@@ -37,7 +37,7 @@ void SetRandomSeed(uint32 seed)
#ifdef RANDOM_DEBUG
#include "../network/network_data.h"
#include "../variables.h" /* _frame_counter */
#include "../player_func.h"
#include "../company_func.h"
uint32 DoRandom(int line, const char *file)
{