This commit is contained in:
jl777
2016-10-25 12:35:06 -03:00
parent 09cc09abcb
commit 6fbbb4cd5f

View File

@@ -70,8 +70,7 @@ see https://www.gnu.org/licenses/. */
#define GMP_MAX(a, b) ((a) > (b) ? (a) : (b))
#define gmp_assert_nocarry(x) do { \
mp_limb_t __cy = x; if ( __cy != 0 ) \
; \
mp_limb_t __cy = x; if ( __cy != 0 ) ; \
assert (__cy == 0); \
} while (0)