diff options
Diffstat (limited to 'tools/mpcheck/mpcheck-double.c')
| -rw-r--r-- | tools/mpcheck/mpcheck-double.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/mpcheck/mpcheck-double.c b/tools/mpcheck/mpcheck-double.c index df216aa..53d779f 100644 --- a/tools/mpcheck/mpcheck-double.c +++ b/tools/mpcheck/mpcheck-double.c @@ -195,6 +195,8 @@ main (int argc, char *argv[]) gmp_randinit_default (state); mpz_init (expz); + printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ()); + #ifdef __GNUC__ printf ("GNU libc version: %s\n", gnu_get_libc_version ()); printf ("GNU libc release: %s\n", gnu_get_libc_release ()); |