barvinok_ehrhart.cc: directly include required header
commit8d1c1fb723137fe6e8a9324552a4d8ebfb3acda3
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Dec 2016 10:40:11 +0000 (21 11:40 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Feb 2017 14:59:05 +0000 (2 15:59 +0100)
tree91718bc98d95d10d757c4f1f46d1a187e07f06f5
parenta94ac4ad04b1d78ed094aae2ada9c91ec19781d7
barvinok_ehrhart.cc: directly include required header

Do so instead of relying on the header getting included indirectly.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
barvinok_ehrhart.cc