add isl_basic_set_fast_is_empty
[platform/upstream/isl.git] / m4 /
2008-10-14 Sven Verdoolaegeuse uint_32_t from stdint.h instead of u_int_32_t