From 098ba285306114dc71497f7b51c357f69c9b4472 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Tue, 24 Apr 2018 21:51:16 +0200
Subject: [PATCH] print.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>
---
 print.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/print.c b/print.c
index 79aaf2b..b64a7c3 100644
--- a/print.c
+++ b/print.c
@@ -7,8 +7,12 @@
  * Ecole Normale Superieure, 45 rue d’Ulm, 75230 Paris, France
  */
 
+#include <isl/ctx.h>
+#include <isl/id.h>
 #include <isl/aff.h>
+#include <isl/ast.h>
 #include <isl/ast_build.h>
+#include <isl/printer.h>
 
 #include "print.h"
 #include "util.h"
-- 
2.11.4.GIT