diff options
Diffstat (limited to 'src/mpfr-mini-gmp.c')
-rw-r--r-- | src/mpfr-mini-gmp.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mpfr-mini-gmp.c b/src/mpfr-mini-gmp.c index 7ae33d5a4..a01520574 100644 --- a/src/mpfr-mini-gmp.c +++ b/src/mpfr-mini-gmp.c @@ -224,6 +224,7 @@ mpn_tdiv_qr (mp_limb_t *qp, mp_limb_t *rp, mp_size_t qxn, } #endif +#if 0 /* this function is useful for debugging, thus please keep it here */ void mpz_dump (mpz_t z) { @@ -264,5 +265,6 @@ mpz_dump (mpz_t z) } printf ("\n"); } +#endif #endif /* MPFR_USE_MINI_GMP */ |