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)