Index: src/libcfa/gmp
===================================================================
--- src/libcfa/gmp	(revision a32cfc9003ca64a94d1135465f24c0a7d67ad69c)
+++ src/libcfa/gmp	(revision e2f1eeb280b105ecd2a95bb066d47c1f86942adb)
@@ -10,13 +10,11 @@
 // Created On       : Tue Apr 19 08:43:43 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat May 13 22:52:26 2017
-// Update Count     : 8
-// 
-
-extern "C" {
+// Last Modified On : Sun May 14 23:47:36 2017
+// Update Count     : 9
+// 
+
 // https://gmplib.org/gmp-man-6.1.1.pdf
+
 #include <gmp.h>										// GNU multi-precise integers
-// some code for operators "/" and "%" taken from g++ gmpxx.h
-}
 #include <fstream>										// sout
 
@@ -146,4 +144,5 @@
 Int ?*=?( Int * lhs, unsigned long int rhs ) { return *lhs = *lhs * rhs; }
 
+// some code for operators "/" and "%" taken from g++ gmpxx.h
 Int ?/?( Int dividend, Int divisor ) { Int quotient; mpz_tdiv_q( quotient.mpz, dividend.mpz, divisor.mpz ); return quotient; }
 Int ?/?( Int dividend, unsigned long int divisor ) { Int quotient; mpz_tdiv_q_ui( quotient.mpz, dividend.mpz, divisor ); return quotient; }
Index: src/libcfa/stdhdr/gmp.h
===================================================================
--- src/libcfa/stdhdr/gmp.h	(revision e2f1eeb280b105ecd2a95bb066d47c1f86942adb)
+++ src/libcfa/stdhdr/gmp.h	(revision e2f1eeb280b105ecd2a95bb066d47c1f86942adb)
@@ -0,0 +1,25 @@
+//                               -*- Mode: C -*- 
+// 
+// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+// 
+// gmp.h -- 
+// 
+// Author           : Peter A. Buhr
+// Created On       : Sun May 14 23:46:01 2017
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sun May 14 23:46:34 2017
+// Update Count     : 1
+// 
+
+extern "C" {
+#include_next <gmp.h>									// has internal check for multiple expansion
+} // extern "C"
+
+// Local Variables: //
+// tab-width: 4 //
+// mode: c++ //
+// compile-command: "make install" //
+// End: //