add isl_int_divexact_ui

diff --git a/include/isl_int.h b/include/isl_int.h
index 730e0f4..2a0876c 100644 (file)
--- a/include/isl_int.h
+++ b/include/isl_int.h
@@ -48,6 +48,7 @@ typedef mpz_t isl_int;
 #define isl_int_gcd(r,i,j)     mpz_gcd(r,i,j)
 #define isl_int_lcm(r,i,j)     mpz_lcm(r,i,j)
 #define isl_int_divexact(r,i,j)        mpz_divexact(r,i,j)
+#define isl_int_divexact_ui(r,i,j)     mpz_divexact_ui(r,i,j)
 #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)