From 10a744d3344e37d14b492587fec57cf3efea8862 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Sun, 9 Mar 2014 23:33:22 +0100
Subject: [PATCH] Add extern C to val_gmp header

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 include/isl/val_gmp.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/include/isl/val_gmp.h b/include/isl/val_gmp.h
index 1dd4da87..9558c1a1 100644
--- a/include/isl/val_gmp.h
+++ b/include/isl/val_gmp.h
@@ -4,10 +4,18 @@
 #include <gmp.h>
 #include <isl/val.h>
 
+#if defined(__cplusplus)
+extern "C" {
+#endif
+
 __isl_give isl_val *isl_val_int_from_gmp(isl_ctx *ctx, mpz_t z);
 __isl_give isl_val *isl_val_from_gmp(isl_ctx *ctx,
 	const mpz_t n, const mpz_t d);
 int isl_val_get_num_gmp(__isl_keep isl_val *v, mpz_t z);
 int isl_val_get_den_gmp(__isl_keep isl_val *v, mpz_t z);
 
+#if defined(__cplusplus)
+}
+#endif
+
 #endif
-- 
2.11.4.GIT