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      }