Index: fusl/src/prng/rand_r.c |
diff --git a/fusl/src/prng/rand_r.c b/fusl/src/prng/rand_r.c |
index 638614c867911a133d4a3f054c7150e28d5a4425..c011454ae73a40fc0ba86f9d9b7506c29d0d280e 100644 |
--- a/fusl/src/prng/rand_r.c |
+++ b/fusl/src/prng/rand_r.c |
@@ -1,15 +1,13 @@ |
#include <stdlib.h> |
-static unsigned temper(unsigned x) |
-{ |
- x ^= x>>11; |
- x ^= x<<7 & 0x9D2C5680; |
- x ^= x<<15 & 0xEFC60000; |
- x ^= x>>18; |
- return x; |
+static unsigned temper(unsigned x) { |
+ x ^= x >> 11; |
+ x ^= x << 7 & 0x9D2C5680; |
+ x ^= x << 15 & 0xEFC60000; |
+ x ^= x >> 18; |
+ return x; |
} |
-int rand_r(unsigned *seed) |
-{ |
- return temper(*seed = *seed * 1103515245 + 12345)/2; |
+int rand_r(unsigned* seed) { |
+ return temper(*seed = *seed * 1103515245 + 12345) / 2; |
} |