add isl_int_le

diff --git a/include/isl_int.h b/include/isl_int.h
index 220368c..d3c1a16 100644 (file)
--- a/include/isl_int.h
+++ b/include/isl_int.h
@@ -68,6 +68,7 @@ typedef mpz_t isl_int;
 #define isl_int_eq(i,j)                (mpz_cmp(i,j) == 0)
 #define isl_int_ne(i,j)                (mpz_cmp(i,j) != 0)
 #define isl_int_lt(i,j)                (mpz_cmp(i,j) < 0)
+#define isl_int_le(i,j)                (mpz_cmp(i,j) <= 0)
 #define isl_int_gt(i,j)                (mpz_cmp(i,j) > 0)
 #define isl_int_ge(i,j)                (mpz_cmp(i,j) >= 0)
 #define isl_int_abs_eq(i,j)    (mpz_cmpabs(i,j) == 0)