1.1 --- a/lemon/random.h Tue Feb 10 17:21:26 2009 +0000
1.2 +++ b/lemon/random.h Mon Feb 16 15:03:32 2009 +0000
1.3 @@ -77,7 +77,7 @@
1.4 #include <sys/types.h>
1.5 #include <unistd.h>
1.6 #else
1.7 -#include <windows.h>
1.8 +#include <lemon/bits/windows.h>
1.9 #endif
1.10
1.11 ///\ingroup misc
1.12 @@ -666,9 +666,7 @@
1.13 gettimeofday(&tv, 0);
1.14 seed(getpid() + tv.tv_sec + tv.tv_usec);
1.15 #else
1.16 - FILETIME time;
1.17 - GetSystemTimeAsFileTime(&time);
1.18 - seed(GetCurrentProcessId() + time.dwHighDateTime + time.dwLowDateTime);
1.19 + seed(bits::getWinRndSeed());
1.20 #endif
1.21 return true;
1.22 }