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

diff --git a/substituter.cc b/substituter.cc
index 527325f..c947c06 100644
--- a/substituter.cc
+++ b/substituter.cc
@@ -32,6 +32,10 @@
  * Leiden University.
  */
 
+#include <isl/id.h>
+#include <isl/space.h>
+#include <isl/aff.h>
+
 #include "expr_arg.h"
 #include "substituter.h"
 
-- 
2.11.4.GIT