update pet for move of isl's interface/all.h
commit94f3a3dc0281ad2d69dceeeb101be4a0f54bb597
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 26 Jan 2019 09:23:06 +0000 (26 10:23 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 26 Jan 2019 09:23:06 +0000 (26 10:23 +0100)
treebcb26bfcd6ebb272470307a83a879b22debc2a2a
parent63131f36c955c41831e226e72621efb3182af14d
update pet for move of isl's interface/all.h

This was missing from barvinok-0.41.1-1-g094c67b706 (update isl
for move of interface/all.h, Tue Jul 31 07:54:05 2018 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
pet