export isl_seq_cmp

diff --git a/include/isl_seq.h b/include/isl_seq.h
index 145846e..241d596 100644 (file)
--- a/include/isl_seq.h
+++ b/include/isl_seq.h
@@ -30,6 +30,7 @@ int isl_seq_first_non_zero(isl_int *p, unsigned len);
 int isl_seq_last_non_zero(isl_int *p, unsigned len);
 int isl_seq_abs_min_non_zero(isl_int *p, unsigned len);
 int isl_seq_eq(isl_int *p1, isl_int *p2, unsigned len);
+int isl_seq_cmp(isl_int *p1, isl_int *p2, unsigned len);
 int isl_seq_is_neg(isl_int *p1, isl_int *p2, unsigned len);
 
 uint32_t isl_seq_get_hash(isl_int *p, unsigned len);