From ba8f30436faf0bf20a4600903655af2bfd698995 Mon Sep 17 00:00:00 2001
From: jl777 <jameslee777@yahoo.com>
Date: Tue, 25 Oct 2016 12:36:22 -0300
Subject: [PATCH] test

---
 src/mini-gmp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mini-gmp.c b/src/mini-gmp.c
index 204c53afc..4cc08c27c 100644
--- a/src/mini-gmp.c
+++ b/src/mini-gmp.c
@@ -70,7 +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)