add private isl_basic_set_get_divs
[platform/upstream/isl.git] / isl_deprecated.c
2012-11-30 Sven Verdoolaegereintroduce isl_basic_set_add symbol