From bafb964d06bc2fe43056267e73ca2fcb934a32aa Mon Sep 17 00:00:00 2001
From: vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>
Date: Wed, 8 Feb 2017 11:51:37 +0000
Subject: Made some assertions a bit more readable.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11276 280ebfd0-de03-0410-8827-d642c229c3f4
---
 src/sub_ui.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sub_ui.c')

diff --git a/src/sub_ui.c b/src/sub_ui.c
index ad24c1350..9bca863a3 100644
--- a/src/sub_ui.c
+++ b/src/sub_ui.c
@@ -63,7 +63,7 @@ mpfr_sub_ui (mpfr_ptr y, mpfr_srcptr x, unsigned long int u, mpfr_rnd_t rnd_mode
     MPFR_SAVE_EXPO_DECL (expo);
 
     MPFR_TMP_INIT1 (up, uu, GMP_NUMB_BITS);
-    MPFR_STAT_STATIC_ASSERT ((mp_limb_t) -1 >= (unsigned long) -1);
+    MPFR_STAT_STATIC_ASSERT (MPFR_LIMB_MAX >= ULONG_MAX);
     /* So, u fits in a mp_limb_t, which justifies the casts below. */
     MPFR_ASSERTD (u != 0);
     count_leading_zeros (cnt, (mp_limb_t) u);
-- 
cgit v1.2.1