update barvinok for direct header inclusions
commita2e820bc6534cc4750f245490d2a17f903046f5f
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 5 Jun 2018 20:43:51 +0000 (5 22:43 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 5 Jun 2018 20:43:51 +0000 (5 22:43 +0200)
tree3316f01fd5edd9b59def0503fbcea369f2ae4ad4
parent24d936846202bbf68edec0000c2d192993c03806
update barvinok for direct header inclusions

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