update isl for support for recent versions of clang
[barvinok.git] / doc / sum_p_times_1
blobe69de29bb2d1d6434b8b29ae775ad8c2e48c5391