diff options
Diffstat (limited to 'tune/tuneup.c')
-rw-r--r-- | tune/tuneup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tune/tuneup.c b/tune/tuneup.c index ad6ed1f56..08e6d11e7 100644 --- a/tune/tuneup.c +++ b/tune/tuneup.c @@ -877,7 +877,7 @@ tune_div_mulders_upto (mp_size_t n) #if defined(WANT_GMP_INTERNALS) && defined(HAVE___GMPN_SBPI1_DIVAPPR_Q) MPFR_ASSERTN (n > 2); /* mpn_sbpi1_divappr_q requires dn > 2 */ #endif - + /* Check k == 0, i.e., mpfr_divhigh_n_basecase */ kbest = 0; tbest = mpfr_speed_measure (speed_mpfr_divhigh, &s, "mpfr_divhigh"); |