diff options
Diffstat (limited to 'src/add_ui.c')
-rw-r--r-- | src/add_ui.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/add_ui.c b/src/add_ui.c index 8e80a12a2..156173a05 100644 --- a/src/add_ui.c +++ b/src/add_ui.c @@ -26,6 +26,11 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., int mpfr_add_ui (mpfr_ptr y, mpfr_srcptr x, unsigned long int u, mpfr_rnd_t rnd_mode) { + MPFR_LOG_FUNC + (("x[%Pu]=%.*Rg u=%d rnd=%d", + mpfr_get_prec(x), mpfr_log_prec, x, u, rnd_mode), + ("y[%Pu]=%.*Rg", mpfr_get_prec (y), mpfr_get_prec, y)); + if (MPFR_LIKELY(u != 0) ) /* if u=0, do nothing */ { mpfr_t uu; |