From d3a6d9e4c94bbed7575eb8326a40d9dd2a481554 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 9 Mar 2010 16:49:39 +0100 Subject: [PATCH] use typedef to ensure argument to mp_get_memory_functions has C linkage --- include/isl_int.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/include/isl_int.h b/include/isl_int.h index b7c00e8..9f5958b 100644 --- a/include/isl_int.h +++ b/include/isl_int.h @@ -65,10 +65,11 @@ typedef mpz_t isl_int; #define isl_int_fdiv_q_ui(r,i,j) mpz_fdiv_q_ui(r,i,j) #define isl_int_read(r,s) mpz_set_str(r,s,10) +typedef void (*isl_int_print_gmp_free_t)(void *, size_t); #define isl_int_print(out,i,width) \ do { \ char *s; \ - void (*gmp_free) (void *, size_t); \ + isl_int_print_gmp_free_t gmp_free; \ s = mpz_get_str(0, 10, i); \ fprintf(out, "%*s", width, s); \ mp_get_memory_functions(NULL, NULL, &gmp_free); \ -- 2.7.4