From b4f1a40b4b6b36c3ffdd23c1a8362f4d5da8ab1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Nov 2015 17:03:37 +0000
Subject: [PATCH] GMP vs C+++: I loose

---
 H/TermExt.h | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/H/TermExt.h b/H/TermExt.h
index 0609551ea..aa0541a24 100755
--- a/H/TermExt.h
+++ b/H/TermExt.h
@@ -417,9 +417,12 @@ IsStringTerm (Term t)
 
 #include <stdio.h>
 
-#ifdef __cplusplus
-#include <gmpxx.h>
-#else
+#if defined(__cplusplus)
+#define OCXX __cplusplus
+#undef __cplusplus
+#include <gmp.h>
+#define __cplusplus OCXX
+#elif  !defined( __GMP_H__ )
 #include <gmp.h>
 #endif