From bb5890198ad681c5c7da7595e8cbb33fec2470ed Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Wed, 25 Apr 2018 19:04:00 +0200
Subject: [PATCH] eqv.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>
---
 eqv.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/eqv.cc b/eqv.cc
index 888766f..106e9e1 100644
--- a/eqv.cc
+++ b/eqv.cc
@@ -13,10 +13,13 @@
 #include <isa/yaml.h>
 #include <isa/pdg.h>
 
+#include <isl/ctx.h>
+#include <isl/space.h>
 #include <isl/set.h>
 #include <isl/map.h>
 #include <isl/constraint.h>
 #include <isl/union_set.h>
+#include <isl/printer.h>
 #include "eqv_options.h"
 #include "dependence_graph.h"
 
-- 
2.11.4.GIT