From 5359234db0de5b4d0f6909103f757a617197bf04 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Wed, 25 Apr 2018 18:57:07 +0200
Subject: [PATCH] lattice_width.c: directly include required headers

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

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 lattice_width.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lattice_width.c b/lattice_width.c
index 48b6a60..31db813 100644
--- a/lattice_width.c
+++ b/lattice_width.c
@@ -1,5 +1,9 @@
 #include <assert.h>
 #include <stdlib.h>
+#include <isl/space.h>
+#include <isl/set.h>
+#include <isl/union_set.h>
+#include <isl/polynomial.h>
 #include <isl_set_polylib.h>
 #include <barvinok/options.h>
 #include <barvinok/util.h>
-- 
2.11.4.GIT