From 4d6533f234a0ef323afd9a14a143ce66820d4f58 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Tue, 24 Apr 2018 19:07:40 +0200
Subject: [PATCH] summary.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>
---
 summary.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/summary.c b/summary.c
index 9173b74..1a53baf 100644
--- a/summary.c
+++ b/summary.c
@@ -31,8 +31,12 @@
  * Ecole Normale Superieure.
  */
 
+#include <isl/ctx.h>
+#include <isl/printer.h>
+#include <isl/id.h>
 #include <isl/space.h>
 #include <isl/union_set.h>
+#include <isl/union_map.h>
 
 #include "aff.h"
 #include "summary.h"
-- 
2.11.4.GIT