diff options
Diffstat (limited to 'tools/mpcheck/mpcheck-float128.c')
| -rw-r--r-- | tools/mpcheck/mpcheck-float128.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/mpcheck/mpcheck-float128.c b/tools/mpcheck/mpcheck-float128.c index ba08efd..1d02ae2 100644 --- a/tools/mpcheck/mpcheck-float128.c +++ b/tools/mpcheck/mpcheck-float128.c @@ -205,6 +205,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 ()); |