use uint_32_t from stdint.h instead of u_int_32_t

[platform/upstream/isl.git] / include / isl_int.h

diff --git a/include/isl_int.h b/include/isl_int.h
index 8015a58..1ca200c 100644 (file)
--- a/include/isl_int.h
+++ b/include/isl_int.h
@@ -1,7 +1,7 @@
 #ifndef ISL_INT_H
 #define ISL_INT_H
 
-#include <sys/types.h>
+#include <isl_stdint.h>
 #include <string.h>
 #include <gmp.h>
 
@@ -74,7 +74,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);
+uint32_t isl_gmp_hash(mpz_t v, uint32_t hash);
 #define isl_int_hash(v,h)      isl_gmp_hash(v,h)
 
 #if defined(__cplusplus)