diff -r 5a894f2d9325 -r 65f80c81d41c lemon/random.h
--- a/lemon/random.h	Tue Feb 10 17:29:39 2009 +0000
+++ b/lemon/random.h	Mon Feb 16 18:11:10 2009 +0000
@@ -77,7 +77,7 @@
 #include <sys/types.h>
 #include <unistd.h>
 #else
-#include <windows.h>
+#include <lemon/bits/windows.h>
 #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;
     }