From 2fc2c6788ce13ddd890ddda665c575b961fcf1fa Mon Sep 17 00:00:00 2001
From: jl777 <jameslee777@yahoo.com>
Date: Thu, 5 May 2016 15:41:07 -0500
Subject: [PATCH] test

---
 iguana/mini-gmp.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/iguana/mini-gmp.h b/iguana/mini-gmp.h
index e9a2bb433..bb45c72e7 100644
--- a/iguana/mini-gmp.h
+++ b/iguana/mini-gmp.h
@@ -40,6 +40,7 @@ see https://www.gnu.org/licenses/.  */
 
 /* For size_t */
 #include <stddef.h>
+#include <limits.h>
 
 #if defined (__cplusplus)
 extern "C" {