From a94ac4ad04b1d78ed094aae2ada9c91ec19781d7 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 8 Dec 2016 14:49:00 +0100
Subject: [PATCH] barvinok.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.cc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/barvinok.cc b/barvinok.cc
index 8253077..0236d47 100644
--- a/barvinok.cc
+++ b/barvinok.cc
@@ -5,10 +5,19 @@
 #include <string>
 #include <sstream>
 #include <gmp.h>
+#include <NTL/ZZ.h>
+#include <NTL/vec_ZZ.h>
 #include <NTL/mat_ZZ.h>
 #include <NTL/LLL.h>
+#include <isl/val.h>
+#include <isl/space.h>
+#include <isl/set.h>
 #include <isl/map.h>
+#include <isl/union_set.h>
+#include <isl/union_map.h>
+#include <isl/polynomial.h>
 #include <isl_set_polylib.h>
+#include <barvinok/polylib.h>
 #include <barvinok/util.h>
 #include <barvinok/evalue.h>
 #include "config.h"
-- 
2.11.4.GIT