random: Fix random number generator.

As written, this "32-bit" random number generator nevers returns a value
bigger than 0xfffe0.  This fixes the problem.

diff --git a/lib/random.c b/lib/random.c
index 88ddb4a..7f89251 100644 (file)
--- a/lib/random.c
+++ b/lib/random.c
@@ -103,7 +103,7 @@ static uint32_t
 random_next(void)
 {
     seed ^= seed << 13;
-    seed >>= 17;
+    seed ^= seed >> 17;
     seed ^= seed << 5;
 
     return seed;