From 09daaba943fc1dc883980455fedf003ee4368ef8 Mon Sep 17 00:00:00 2001 From: tth Date: Tue, 28 Jun 2022 20:56:14 +0200 Subject: [PATCH] cosmetic --- Tools/fonctions.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/fonctions.c b/Tools/fonctions.c index 1693300..b8c042a 100644 --- a/Tools/fonctions.c +++ b/Tools/fonctions.c @@ -410,7 +410,7 @@ int set_new_seed(int k) char *ptr; long seed; -if (k) fprintf(stderr, "%s: k %d\n", __func__, k); +/* if (k) fprintf(stderr, "%s: k %d\n", __func__, k); */ if (NULL==(ptr=getenv("FIXED_SEED"))) { /* no fixed seed in context, doing semi-random */