From 916f010504ef49701e92d710bf71d8e6c2980446 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 3 Feb 2015 02:39:57 +0000
Subject: [PATCH] handle gmp in c++

---
 CXX/yapi.hh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/CXX/yapi.hh b/CXX/yapi.hh
index 2c5c65468..0d1eca326 100644
--- a/CXX/yapi.hh
+++ b/CXX/yapi.hh
@@ -24,6 +24,10 @@
 #endif
 #include <config.h>
 
+#if USE_GMP
+#include <gmpxx.h>  
+#endif
+
 extern "C" {
 
 #include <stddef.h>
@@ -31,9 +35,6 @@ extern "C" {
 #define old_cplusplus __cplusplus
 #undef __cplusplus
 #endif
-#if USE_GMP
-#include <gmp.h>
-#endif
 #ifdef  old_cplusplus
 #define __cplusplus old_cplusplus
 #undef old_cplusplus