Changes in lemon/random.h [440:88ed40ad0d4f:492:b9b3473327e3] in lemon-main

File:

• lemon/random.h (modified) (2 diffs)

lemon/random.h

@@ -78 +78 @@
 #include <unistd.h>
 #else
-#include <windows.h>
+#include <lemon/bits/windows.h>
 #endif
 
@@ -663 +663 @@
       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;