barvinok_union.cc: directly include required headers
commitfa70fe577dd0bf4a4de0b17ff296ac479ab37d5a
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Dec 2016 10:58:17 +0000 (21 11:58 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Feb 2017 14:59:05 +0000 (2 15:59 +0100)
treeee7ab5a776e013882eccb14da8a0a160503a74ed
parentae23f2371c1500ad3b4eb6d9a6973cb152c7913a
barvinok_union.cc: directly include required headers

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

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