temporarily add isl_val_get_num_isl_int
[platform/upstream/isl.git] / isl_version.c
2010-06-19 Sven Verdoolaegeadd isl_version