declare isl_gmp_hash

diff --git a/include/isl_int.h b/include/isl_int.h
index 5dcc0b6..718ae24 100644 (file)
--- a/include/isl_int.h
+++ b/include/isl_int.h
@@ -71,6 +71,7 @@ typedef mpz_t isl_int;
 #define isl_int_is_nonneg(i)   (isl_int_sgn(i) >= 0)
 #define isl_int_is_divisible_by(i,j)   mpz_divisible_p(i,j)
 
+u_int32_t isl_gmp_hash(mpz_t v, u_int32_t hash);
 #define isl_int_hash(v,h)      isl_gmp_hash(v,h)
 
 #if defined(__cplusplus)