temporarily make isl_val_int_from_isl_int available
[platform/upstream/isl.git] / isl_deprecated.c
2012-11-30 Sven Verdoolaegereintroduce isl_basic_set_add symbol