diff options
author | tege <tege@gmplib.org> | 2004-09-18 16:46:18 +0200 |
---|---|---|
committer | tege <tege@gmplib.org> | 2004-09-18 16:46:18 +0200 |
commit | 7a4426823c3cd998f99e8409c25a146bd11e6506 (patch) | |
tree | 2297f3ed68652bfd8889981142058193676e2f44 /tests/misc.c | |
parent | 1babc54b959b78ec33721859579b1badb92b41f1 (diff) | |
download | gmp-7a4426823c3cd998f99e8409c25a146bd11e6506.tar.gz |
(tests_rand_end): Invoke fflush after printing seed.
Diffstat (limited to 'tests/misc.c')
-rw-r--r-- | tests/misc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/misc.c b/tests/misc.c index 355d931f9..8edc0b0b8 100644 --- a/tests/misc.c +++ b/tests/misc.c @@ -107,6 +107,7 @@ tests_rand_start (void) gmp_randseed_ui (rands, seed); printf ("Seed GMP_CHECK_RANDOMIZE=%lu (include this in bug reports)\n", seed); } + fflush (stdout); } } void |