This commit is contained in:
tTh 2023-09-18 08:27:49 +02:00
parent 395b262c92
commit 42fafdc570

View File

@ -446,7 +446,9 @@ int set_new_seed(int k)
char *ptr;
long seed;
#if DEBUG_MESSAGE
if (k) fprintf(stderr, "%s: k %d\n", __func__, k);
#endif
if (NULL==(ptr=getenv("FIXED_SEED"))) {
/* no fixed seed in context, doing semi-random */