add isl_int_get_d

diff --git a/include/isl_int.h b/include/isl_int.h
index 9f5958b..cb5c6cc 100644 (file)
--- a/include/isl_int.h
+++ b/include/isl_int.h
@@ -40,6 +40,7 @@ typedef mpz_t isl_int;
 #define isl_int_set(r,i)       mpz_set(r,i)
 #define isl_int_set_si(r,i)    mpz_set_si(r,i)
 #define isl_int_get_si(r)      mpz_get_si(r)
+#define isl_int_get_d(r)       mpz_get_d(r)
 #define isl_int_abs(r,i)       mpz_abs(r,i)
 #define isl_int_neg(r,i)       mpz_neg(r,i)
 #define isl_int_swap(i,j)      mpz_swap(i,j)