From 1c3188e3046fdf4743b562693c895483a952a1f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Tue, 15 Feb 2011 21:20:14 +0000
Subject: [PATCH] make sure gmp is always included (patch from Nuno FOnseca).

---
 include/SWI-Prolog.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/include/SWI-Prolog.h b/include/SWI-Prolog.h
index 3adaf14a7..8685b06fb 100755
--- a/include/SWI-Prolog.h
+++ b/include/SWI-Prolog.h
@@ -36,6 +36,9 @@ extern "C" {
 #include	"YapInterface.h"
 #else
 #include	<Yap/config.h>
+#if USE_GMP
+#include <gmp.h>
+#endif
 #include	<Yap/YapInterface.h>
 #endif
 #include	<stdarg.h>