ASSERT_ALWAYS -> MPFR_ASSERTN

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@1540 280ebfd0-de03-0410-8827-d642c229c3f4

2 files changed, 2 insertions, 2 deletions

diff --git a/mul_ui.c b/mul_ui.c
index cd8cb2ba3..c997c41d9 100644
--- a/mul_ui.c
+++ b/mul_ui.c
@@ -86,7 +86,7 @@ mpfr_mul_ui (mpfr_ptr y, mpfr_srcptr x, unsigned long int u, mp_rnd_t rnd_mode)
 
   /* since the case u=1 was treated above, we have u >= 2, thus
      my[xn] >= 1 since x was msb-normalized */
-  ASSERT_ALWAYS(my[xn] != 0);
+  MPFR_ASSERTN(my[xn] != 0);
   count_leading_zeros(cnt, my[xn]);
   mpn_lshift (my, my, xn + 1, cnt);
 
diff --git a/sub1.c b/sub1.c
index 168f661ae..3de855729 100644
--- a/sub1.c
+++ b/sub1.c
@@ -401,6 +401,6 @@ mpfr_sub1 (mpfr_ptr a, mpfr_srcptr b, mpfr_srcptr c,
   printf ("result is a="); mpfr_print_raw(a); putchar('\n');
 #endif
   /* check that result is msb-normalized */
-  ASSERT_ALWAYS(ap[an-1] > ~ap[an-1]);
+  MPFR_ASSERTN(ap[an-1] > ~ap[an-1]);
   return inexact * MPFR_SIGN(b);
 }