barvinok_e.cc: directly include required headers
commit2cc7e7e3345ef4f31e307114d549f616b2e33f1e
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 25 Apr 2018 16:56:25 +0000 (25 18:56 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 25 Apr 2018 16:56:25 +0000 (25 18:56 +0200)
tree67c31f37f5f03cc12eb65704452cb37b585678e2
parentfb81868fa4c405750959dd4ff0f4c2c4d4c867e8
barvinok_e.cc: directly include required headers

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

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