diff -r daddd623ac9a -r 879c55700cd4 lemon/random.h --- a/lemon/random.h Tue Feb 10 17:21:26 2009 +0000 +++ b/lemon/random.h Mon Feb 16 15:03:32 2009 +0000 @@ -77,7 +77,7 @@ #include #include #else -#include +#include #endif ///\ingroup misc @@ -666,9 +666,7 @@ gettimeofday(&tv, 0); seed(getpid() + tv.tv_sec + tv.tv_usec); #else - FILETIME time; - GetSystemTimeAsFileTime(&time); - seed(GetCurrentProcessId() + time.dwHighDateTime + time.dwLowDateTime); + seed(bits::getWinRndSeed()); #endif return true; }