add isl_int_fdiv_q_ui

diff --git a/include/isl_int.h b/include/isl_int.h
index d3c1a16..b4da2c2 100644 (file)
--- a/include/isl_int.h
+++ b/include/isl_int.h
@@ -50,6 +50,7 @@ typedef mpz_t isl_int;
 #define isl_int_cdiv_q(r,i,j)  mpz_cdiv_q(r,i,j)
 #define isl_int_fdiv_q(r,i,j)  mpz_fdiv_q(r,i,j)
 #define isl_int_fdiv_r(r,i,j)  mpz_fdiv_r(r,i,j)
+#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)
 #define isl_int_print(out,i,width)                                     \