Fixed segfault

arminbiere · Mar 3, 2021 · a129f47 · a129f47
1 parent 0e8214d
commit a129f47
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scranfilize.c b/scranfilize.c
@@ -591,7 +591,8 @@ static void init (int argc, char ** argv) {
   }
 
   if (seed < 0) {
-    uint64_t t = 8526563 * (unsigned long) times (0);
+    struct tms buffer;
+    uint64_t t = 8526563 * (unsigned long) times (&buffer);
     uint64_t p = 3944621 * (unsigned long) getpid ();
     uint64_t tmp = t + p;
     seed = tmp & 0xffffffff;