update isl for move of interface/all.h
commit094c67b706cae72a3aeee0677ce78fd05c5af290
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 31 Jul 2018 05:54:05 +0000 (31 07:54 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 31 Jul 2018 05:54:05 +0000 (31 07:54 +0200)
tree4181b2c8ec361f33ae802d54215e4539b33f4e26
parentd2f282cbf206f1c92aaea0ea7ccff1709220414c
update isl for move of interface/all.h

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
interface/all_barvinok.h
isl